Mercurial > urweb

comparison src/core.sml @ 69:8e9920db39f2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corify cfold
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Jun 2008 09:53:52 -0400
parents 0a5c312de09a
children 8b611ecc5f2d
comparison
equal deleted inserted replaced
68:c1e21ab42896 69:8e9920db39f2
50 50
51 | CName of string 51 | CName of string
52 52
53 | CRecord of kind * (con * con) list 53 | CRecord of kind * (con * con) list
54 | CConcat of con * con 54 | CConcat of con * con
55 | CFold of kind * kind
55 56
56 withtype con = con' located 57 withtype con = con' located
57 58
58 datatype exp' = 59 datatype exp' =
59 EPrim of Prim.t 60 EPrim of Prim.t