Mercurial > urweb
diff src/cjr.sml @ 809:81fce435e255
Mutual datatypes through Cjrize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sat, 16 May 2009 16:02:17 -0400 |
parents | fa2019a63ea4 |
children | 346cf1908a17 |
line wrap: on
line diff
--- a/src/cjr.sml Sat May 16 15:55:15 2009 -0400 +++ b/src/cjr.sml Sat May 16 16:02:17 2009 -0400 @@ -100,7 +100,7 @@ datatype decl' = DStruct of int * (string * typ) list - | DDatatype of datatype_kind * string * int * (string * int * typ option) list + | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list | DDatatypeForward of datatype_kind * string * int | DVal of string * int * typ * exp | DFun of string * int * (string * typ) list * typ * exp