Mercurial > urweb

diff src/source.sml @ 628:12b73f3c108e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
author Adam Chlipala <adamc@hcoop.net>
date Tue, 24 Feb 2009 12:01:24 -0500
parents 588b9d16b00a
children e68de2a5506b
line wrap: on
line diff
--- a/src/source.sml	Sun Feb 22 17:39:55 2009 -0500
+++ b/src/source.sml	Tue Feb 24 12:01:24 2009 -0500
@@ -53,11 +53,11 @@
        | TFun of con * con
        | TCFun of explicitness * string * kind * con
        | TRecord of con
+       | TDisjoint of con * con * con
 
        | CVar of string list * string
        | CApp of con * con
        | CAbs of string * kind option * con
-       | CDisjoint of con * con * con
 
        | CKAbs of string * con
        | TKFun of string * con