Mercurial > urweb
diff src/expl.sml @ 806:0e554bfd6d6a
Mutual datatypes through Corify
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sat, 16 May 2009 15:22:05 -0400 |
| parents | 8688e01ae469 |
| children | b2311dfb3158 |
line wrap: on
line diff
--- a/src/expl.sml Sat May 16 15:14:17 2009 -0400 +++ b/src/expl.sml Sat May 16 15:22:05 2009 -0400 @@ -115,7 +115,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 | SgiSgn of string * int * sgn @@ -133,7 +133,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