Mercurial > urweb

comparison src/elab.sml @ 71:6431b315a1e3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborate efold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 11:09:30 -0400
parents 9f89f0b00b84
children 522f4bd3955e
comparison
equal deleted inserted replaced
70:2e0f3b21fb85 71:6431b315a1e3
76 | ECApp of exp * con 76 | ECApp of exp * con
77 | ECAbs of explicitness * string * kind * exp 77 | ECAbs of explicitness * string * kind * exp
78 78
79 | ERecord of (con * exp * con) list 79 | ERecord of (con * exp * con) list
80 | EField of exp * con * { field : con, rest : con } 80 | EField of exp * con * { field : con, rest : con }
81 | EFold of kind
81 82
82 | EError 83 | EError
83 84
84 withtype exp = exp' located 85 withtype exp = exp' located
85 86