Allow for multiple start nonterminals

« glr project page

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@...> created