Mercurial > urweb

comparison src/source.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 48b6d2c3df46
children 6431b315a1e3
comparison
equal deleted inserted replaced
66:1ec5703c09c4 67:9f89f0b00b84
49 | TCFun of explicitness * string * kind * con 49 | TCFun of explicitness * string * kind * con
50 | TRecord of con 50 | TRecord of con
51 51
52 | CVar of string list * string 52 | CVar of string list * string
53 | CApp of con * con 53 | CApp of con * con
54 | CAbs of string * kind * con 54 | CAbs of string * kind option * con
55 55
56 | CName of string 56 | CName of string
57 57
58 | CRecord of (con * con) list 58 | CRecord of (con * con) list
59 | CConcat of con * con 59 | CConcat of con * con
60 | CFold
60 61
61 | CWild of kind 62 | CWild of kind
62 63
63 withtype con = con' located 64 withtype con = con' located
64 65