HomeIsabelle/Phabricator

more robust (amending add9a9f6a290): proper syntax error instead of exception…

Description

more robust (amending add9a9f6a290): proper syntax error instead of exception for grammar with unreachable nonterminals, e.g. nonterminal f1 syntax "_F" :: "f1 ⇒ 'b" ("F _" 10);

Details

Provenance
makariusAuthored on
Parents
rISABELLE708d301205fe: merged
Branches
Unknown
Tags
Unknown