Mercurial > urweb
diff src/elab.sml @ 805:e2780d2f4afc
Mutual datatypes through Elaborate
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 16 May 2009 15:14:17 -0400 |
| parents | 8688e01ae469 |
| children | 7f871c03e3a1 |
line wrap: on
line diff
--- a/src/elab.sml Sat May 16 13:10:52 2009 -0400 +++ b/src/elab.sml Sat May 16 15:14:17 2009 -0400 @@ -132,7 +132,7 @@ datatype sgn_item' = SgiConAbs of string * int * kind | SgiCon of string * int * kind * con - | SgiDatatype of string * int * string list * (string * int * con option) list + | SgiDatatype of (string * int * string list * (string * int * con option) list) list | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list | SgiVal of string * int * con | SgiStr of string * int * sgn @@ -154,7 +154,7 @@ datatype decl' = DCon of string * int * kind * con - | DDatatype of string * int * string list * (string * int * con option) list + | DDatatype of (string * int * string list * (string * int * con option) list) list | DDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list | DVal of string * int * con * exp | DValRec of (string * int * con * exp) list