Mercurial > urweb

diff src/cjr.sml @ 196:890a61991263

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children fac9fae654e2
line wrap: on
line diff
--- a/src/cjr.sml	Sat Aug 09 12:50:49 2008 -0400
+++ b/src/cjr.sml	Sat Aug 09 16:48:32 2008 -0400
@@ -35,7 +35,7 @@
          TTop
        | TFun of typ * typ
        | TRecord of int
-       | TDatatype of datatype_kind * int * (string * int * typ option) list
+       | TDatatype of datatype_kind * int * (string * int * typ option) list ref
        | TFfi of string * string
 
 withtype typ = typ' located
@@ -75,6 +75,7 @@
 datatype decl' =
          DStruct of int * (string * typ) list
        | DDatatype of datatype_kind * string * int * (string * int * typ option) list
+       | DDatatypeForward of datatype_kind * string * int
        | DVal of string * int * typ * exp
        | DFun of string * int * (string * typ) list * typ * exp
        | DFunRec of (string * int * (string * typ) list * typ * exp) list