Mercurial > urweb

diff src/source.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 8084fa9216de
line wrap: on
line diff
--- a/src/source.sml	Thu Sep 18 15:01:01 2008 -0400
+++ b/src/source.sml	Sat Oct 04 15:50:28 2008 -0400
@@ -49,7 +49,6 @@
 
        | TFun of con * con
        | TCFun of explicitness * string * kind * con
-       | TDisjoint of con * con * con
        | TRecord of con
 
        | CVar of string list * string