Mercurial > urweb

comparison src/elab.sml @ 8:a455a9f85cc3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 38bf996e1c2e
children 14b533dbe6cc
comparison
equal deleted inserted replaced
7:2ce5bf227d01 8:a455a9f85cc3
50 | TRecord of con 50 | TRecord of con
51 51
52 | CRel of int 52 | CRel of int
53 | CNamed of int 53 | CNamed of int
54 | CApp of con * con 54 | CApp of con * con
55 | CAbs of explicitness * string * kind * con 55 | CAbs of string * kind * con
56 56
57 | CName of string 57 | CName of string
58 58
59 | CRecord of kind * (con * con) list 59 | CRecord of kind * (con * con) list
60 | CConcat of con * con 60 | CConcat of con * con