Mercurial > urweb

comparison src/elab.sml @ 345:b85e6ba56618

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge CDisjoint and TDisjoint
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Oct 2008 15:50:28 -0400
parents 075b36dbb1a4
children dfc8c991abd0
comparison
equal deleted inserted replaced
344:3c0feecd057d 345:b85e6ba56618
51 | LeaveAlone 51 | LeaveAlone
52 52
53 datatype con' = 53 datatype con' =
54 TFun of con * con 54 TFun of con * con
55 | TCFun of explicitness * string * kind * con 55 | TCFun of explicitness * string * kind * con
56 | TDisjoint of auto_instantiate * con * con * con
57 | TRecord of con 56 | TRecord of con
58 57
59 | CRel of int 58 | CRel of int
60 | CNamed of int 59 | CNamed of int
61 | CModProj of int * string list * string 60 | CModProj of int * string list * string
62 | CApp of con * con 61 | CApp of con * con
63 | CAbs of string * kind * con 62 | CAbs of string * kind * con
64 | CDisjoint of con * con * con 63 | CDisjoint of auto_instantiate * con * con * con
65 64
66 | CName of string 65 | CName of string
67 66
68 | CRecord of kind * (con * con) list 67 | CRecord of kind * (con * con) list
69 | CConcat of con * con 68 | CConcat of con * con