Mercurial > urweb

comparison src/core.sml @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children fd98dd10dce7
comparison
equal deleted inserted replaced
109:813e5a52063d 110:3739af9e727a
74 | EField of exp * con * { field : con, rest : con } 74 | EField of exp * con * { field : con, rest : con }
75 | EFold of kind 75 | EFold of kind
76 76
77 | EWrite of exp 77 | EWrite of exp
78 78
79 | EClosure of int * exp list
80
79 withtype exp = exp' located 81 withtype exp = exp' located
80 82
81 datatype decl' = 83 datatype decl' =
82 DCon of string * int * kind * con 84 DCon of string * int * kind * con
83 | DVal of string * int * con * exp * string 85 | DVal of string * int * con * exp * string