diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-09-26 16:22:06 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-09-26 16:22:06 -0400 |
| commit | 71cc64ad35debb1950827e4be6c6a3d5cfc216fc (patch) | |
| tree | cad67680fb49f89df78b84d6266344d710cb0d62 /src/urweb.grm | |
| parent | ed7e4c443e611490ce83c8ee6bedea14c636011c (diff) | |
Get -root working properly again
Diffstat (limited to 'src/urweb.grm')
| -rw-r--r-- | src/urweb.grm | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index 29019649..7063af38 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -571,15 +571,15 @@ decl : CON SYMBOL cargl2 kopt EQ cexp (let | FUN valis ([(DValRec valis, s (FUNleft, valisright))]) | SIGNATURE CSYMBOL EQ sgn ([(DSgn (CSYMBOL, sgn), s (SIGNATUREleft, sgnright))]) - | STRUCTURE CSYMBOL EQ str ([(DStr (CSYMBOL, NONE, NONE, str), s (STRUCTUREleft, strright))]) - | STRUCTURE CSYMBOL COLON sgn EQ str ([(DStr (CSYMBOL, SOME sgn, NONE, str), s (STRUCTUREleft, strright))]) + | STRUCTURE CSYMBOL EQ str ([(DStr (CSYMBOL, NONE, NONE, str, false), s (STRUCTUREleft, strright))]) + | STRUCTURE CSYMBOL COLON sgn EQ str ([(DStr (CSYMBOL, SOME sgn, NONE, str, false), s (STRUCTUREleft, strright))]) | FUNCTOR CSYMBOL LPAREN CSYMBOL COLON sgn RPAREN EQ str ([(DStr (CSYMBOL1, NONE, NONE, - (StrFun (CSYMBOL2, sgn1, NONE, str), s (FUNCTORleft, strright))), + (StrFun (CSYMBOL2, sgn1, NONE, str), s (FUNCTORleft, strright)), false), s (FUNCTORleft, strright))]) | FUNCTOR CSYMBOL LPAREN CSYMBOL COLON sgn RPAREN COLON sgn EQ str ([(DStr (CSYMBOL1, NONE, NONE, - (StrFun (CSYMBOL2, sgn1, SOME sgn2, str), s (FUNCTORleft, strright))), + (StrFun (CSYMBOL2, sgn1, SOME sgn2, str), s (FUNCTORleft, strright)), false), s (FUNCTORleft, strright))]) | OPEN mpath (case mpath of [] => raise Fail "Impossible mpath parse [1]" @@ -593,7 +593,7 @@ decl : CON SYMBOL cargl2 kopt EQ cexp (let foldl (fn (m, str) => (StrProj (str, m), loc)) (StrVar m, loc) ms in - [(DStr ("anon", NONE, NONE, (StrApp (m, str), loc)), loc), + [(DStr ("anon", NONE, NONE, (StrApp (m, str), loc), false), loc), (DOpen ("anon", []), loc)] end) | OPEN CONSTRAINTS mpath (case mpath of |