Mercurial > urweb

diff src/cjr.sml @ 809:81fce435e255

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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