Mercurial > urweb

comparison src/elab.sml @ 67:9f89f0b00b84

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating cfold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 09:48:54 -0400
parents abb2b32c19fb
children 6431b315a1e3
comparison
equal deleted inserted replaced
66:1ec5703c09c4 67:9f89f0b00b84
57 57
58 | CName of string 58 | CName of string
59 59
60 | CRecord of kind * (con * con) list 60 | CRecord of kind * (con * con) list
61 | CConcat of con * con 61 | CConcat of con * con
62 | CFold of kind * kind
62 63
63 | CError 64 | CError
64 | CUnif of kind * string * con option ref 65 | CUnif of kind * string * con option ref
65 66
66 withtype con = con' located 67 withtype con = con' located