Changeset 4259 for trunk/ProjectFortress/LibraryBuiltin

Timestamp:

10/15/09 22:35:20 (6 weeks ago)

Author:

sukyoungryu

Message:

[self-type idiom] Implemented the new self type. Rewrote SelfParamDisambiguator? in Scala. Eliminated comprises clauses from ZZ32 and RR64. Fixes here and there. Added a test.

Location:

trunk/ProjectFortress/LibraryBuiltin

Files:

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

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi

@@ -46 +46 @@
 end
 
-trait ZZ32 extends Number comprises { IntLiteral }
+trait ZZ32 extends Number excludes ZZ64
     getter asZZ32(): ZZ32
     getter asString(): String
@@ -66 +66 @@
 end
 
-trait RR64 extends Number comprises {FloatLiteral}
+trait RR64 extends Number
     getter asString(): String
     opr |self| : RR64

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss

@@ -78 +78 @@
 end
 
-trait ZZ32 extends Number comprises { IntLiteral }
+trait ZZ32 extends Number excludes ZZ64
     getter asZZ32(): ZZ32 = self
     getter asString(): String = jIntToString(self)
@@ -98 +98 @@
 end
 
-trait RR64 extends Number comprises {FloatLiteral}
+trait RR64 extends Number
     getter asString(): String = jDoubleToString(self)
     opr |self| : RR64 = jDoubleAbs(self)