FYI -- apparently, there are more bugs...

src/types.h

Index: src/types.h
diff --git a/src/types.h b/src/types.h
index 18b22239a2dd30cf435de75babe2cfe99ed05b6e..07a779b399fc4c806d03ee4674eecf5006b585ba 100644
--- a/src/types.h
+++ b/src/types.h
@@ -101,8 +101,8 @@ namespace internal {
 // PROPERTIES
 //
 // Various formal properties hold for constructors, operators, and predicates
-// over types. For example, constructors are injective, subtyping is a partial
-// order, and union and intersection satisfy the usual algebraic properties.
+// over types. For example, constructors are injective, subtyping is a complete
+// partial order, union and intersection satisfy the usual algebraic properties.
 //
 // See test/cctest/test-types.cc for a comprehensive executable specification,
 // especially with respect to the proeprties of the more exotic 'temporal'

[Benedikt Meurer, 2014/04/10 16:49:07]

properties