Mercurial > urweb

comparison src/elab.sml @ 334:9601c717d2f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryX
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 19:49:53 -0400
parents 42dfb0d61cf0
children e976b187d73a
comparison
equal deleted inserted replaced
333:c655eddc3795 334:9601c717d2f3
44 44
45 datatype explicitness = 45 datatype explicitness =
46 Explicit 46 Explicit
47 | Implicit 47 | Implicit
48 48
49 datatype auto_instantiate =
50 Instantiate
51 | LeaveAlone
52
49 datatype con' = 53 datatype con' =
50 TFun of con * con 54 TFun of con * con
51 | TCFun of explicitness * string * kind * con 55 | TCFun of explicitness * string * kind * con
52 | TDisjoint of con * con * con 56 | TDisjoint of auto_instantiate * con * con * con
53 | TRecord of con 57 | TRecord of con
54 58
55 | CRel of int 59 | CRel of int
56 | CNamed of int 60 | CNamed of int
57 | CModProj of int * string list * string 61 | CModProj of int * string list * string