Changeset 3887 for trunk/ProjectFortress/LibraryBuiltin

Timestamp:

06/23/09 20:42:30 (5 months ago)

Author:

sukyoungryu

Message:

[static checker] Fixed a bug handling symmetric exclusion relationship.
Implemented checking that if trait T excludes trait U, no third trait may extend both T and U, nor may either T or U extend the other.
Added tests and eliminated unnecessary excludes clauses in the CompilerBuiltin? library.
Refactored static checker code.

Location:

trunk/ProjectFortress/LibraryBuiltin

Files:

• CompilerBuiltin.fsi (modified) (2 diffs)
• CompilerBuiltin.fss (modified) (1 diff)

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi

@@ -22 +22 @@
 end Object
 
-trait String excludes { Number } (* not necessary, symmetric *)
+trait String
 opr || (self, b:String):String
 end
@@ -32 +32 @@
 printlnZZ32(x:ZZ32):()
 
-strToInt(s:String):ZZ32 
-                          
+strToInt(s:String):ZZ32
+
 trait Number excludes { String }
 end

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss

@@ -36 +36 @@
 end Object
 
-trait String excludes { Number } (* not necessary, symmetric *)
+trait String
     opr ||(self, b:String): String =  jConcatenate(self, b)
 end