Mercurial > urweb

comparison src/core.sml @ 102:5f04adf47f48

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Writing HTML
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 14:02:54 -0400
parents f0f59e918cac
children 813e5a52063d
comparison
equal deleted inserted replaced
101:717b6f8d8505 102:5f04adf47f48
72 72
73 | ERecord of (con * exp * con) list 73 | ERecord of (con * exp * con) list
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
78
77 withtype exp = exp' located 79 withtype exp = exp' located
78 80
79 datatype decl' = 81 datatype decl' =
80 DCon of string * int * kind * con 82 DCon of string * int * kind * con
81 | DVal of string * int * con * exp 83 | DVal of string * int * con * exp