diff options
| author | Thomas Hallgren <th-github@altocumulus.org> | 2019-04-25 17:02:42 +0200 |
|---|---|---|
| committer | Thomas Hallgren <th-github@altocumulus.org> | 2019-04-25 17:02:42 +0200 |
| commit | bea6aa1d2d10669d62c1c5125dedac4cac0f8cfa (patch) | |
| tree | 73b21747c9028b3974cc2819259f6b04e2f6a85f /src/runtime/javascript/editor.html | |
| parent | c628e11c01c3c8c642c540a94ea927be42d6d2f3 (diff) | |
GF.Compile.CheckGrammar: discard bad 'lincat C = …' with a warning
e.g. if C is a fun and not a cat in the abstract syntax.
Discarding bad lincats prevents GF from generating malformed PGFs that
are rejected by the C run-time system.
I also added code to reject bad lincats with an error, but I left it
commented out since it seems a bit pedantic compared to GF's otherwise
rather sloppy grammar checking.
Diffstat (limited to 'src/runtime/javascript/editor.html')
0 files changed, 0 insertions, 0 deletions