Mercurial > urweb

comparison src/core.sml @ 73:8b611ecc5f2d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify efold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 11:32:29 -0400
parents 8e9920db39f2
children 275aaeb73f1f
comparison
equal deleted inserted replaced
72:0ee10f4d73cf 73:8b611ecc5f2d
67 | ECApp of exp * con 67 | ECApp of exp * con
68 | ECAbs of string * kind * exp 68 | ECAbs of string * kind * exp
69 69
70 | ERecord of (con * exp * con) list 70 | ERecord of (con * exp * con) list
71 | EField of exp * con * { field : con, rest : con } 71 | EField of exp * con * { field : con, rest : con }
72 | EFold of kind
72 73
73 withtype exp = exp' located 74 withtype exp = exp' located
74 75
75 datatype decl' = 76 datatype decl' =
76 DCon of string * int * kind * con 77 DCon of string * int * kind * con