Mercurial > urweb

comparison src/cjr.sml @ 129:78d59cf0a0cc

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiled (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 11:02:10 -0400
parents 91027db5a07c
children f0d3402184d1
comparison
equal deleted inserted replaced
128:b04f7422c832 129:78d59cf0a0cc
56 56
57 datatype decl' = 57 datatype decl' =
58 DStruct of int * (string * typ) list 58 DStruct of int * (string * typ) list
59 | DVal of string * int * typ * exp 59 | DVal of string * int * typ * exp
60 | DFun of string * int * (string * typ) list * typ * exp 60 | DFun of string * int * (string * typ) list * typ * exp
61 | DFunRec of (string * int * (string * typ) list * typ * exp) list
61 62
62 withtype decl = decl' located 63 withtype decl = decl' located
63 64
64 type file = decl list * (string * int * typ list) list 65 type file = decl list * (string * int * typ list) list
65 66