Mercurial > urweb
diff src/core.sml @ 807:61a1f5c5ae2c
Mutual datatypes through Effectize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 16 May 2009 15:45:12 -0400 |
parents | 8688e01ae469 |
children | ed06e25c70ef |
line wrap: on
line diff
--- a/src/core.sml Sat May 16 15:22:05 2009 -0400 +++ b/src/core.sml Sat May 16 15:45:12 2009 -0400 @@ -124,7 +124,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 | DVal of string * int * con * exp * string | DValRec of (string * int * con * exp * string) list | DExport of export_kind * int