Fixed a bug where the name [Basics] was shadowed.
Showing with 8 additions and 1 deletions
|Fix a bug where the module name "Basics" was shadowed (that is, if the user's|
|project happened to contain a toplevel module by this name, then it could not|
|be referred to from an .mly file). (Reported by François Thiré.)|
|Add $MENHIR_STDLIB as a way of controlling where Menhir looks for the file|
|standard.mly. This environment variable overrides the installation-time|