Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
808:d8f58d488cfb 809:81fce435e255
98 98
99 withtype exp = exp' located 99 withtype exp = exp' located
100 100
101 datatype decl' = 101 datatype decl' =
102 DStruct of int * (string * typ) list 102 DStruct of int * (string * typ) list
103 | DDatatype of datatype_kind * string * int * (string * int * typ option) list 103 | DDatatype of (datatype_kind * string * int * (string * int * typ option) list) list
104 | DDatatypeForward of datatype_kind * string * int 104 | DDatatypeForward of datatype_kind * string * int
105 | DVal of string * int * typ * exp 105 | DVal of string * int * typ * exp
106 | DFun of string * int * (string * typ) list * typ * exp 106 | DFun of string * int * (string * typ) list * typ * exp
107 | DFunRec of (string * int * (string * typ) list * typ * exp) list 107 | DFunRec of (string * int * (string * typ) list * typ * exp) list
108 108