Mercurial > urweb

comparison src/expl.sml @ 72:0ee10f4d73cf

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