Mercurial > urweb
comparison src/cjr.sml @ 129:78d59cf0a0cc
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 |