Allow for multiple start nonterminals
Menhir allows for an arbitrary number of start nonterminals with different types. We can implement this using a sum type over these different types.
Details
Id: | cfaee25fb0ab565feecac4e0afb62d07aca3ea49 |
Type: | feature |
Creation time: | 2012-10-20 10:12 GMT |
Creator: | Pippijn van Steenhoven <pippijn@...> |
Release: | unassigned |
Component: | glr |
Status: | unstarted |
Issue log
2012-10-20 10:13 GMT | Pippijn van Steenhoven <pippijn@...> |