Changeset 4273 for trunk/ProjectFortress/LibraryBuiltin

Timestamp:

10/20/09 16:02:16 (5 weeks ago)

Author:

jmaessen

Message:

[library, tests] Added simple Treap library that is non-parametric in
the hopes of shaking out a bunch of lingering compiler bugs. This
required adding randomness to CompilerBuiltin (where it _doesn't_
disrupt testing times). Right now Treap doesn't even pass type
checking yet due to #360. Coalescing Treap and TreapTest into a
single file turns up code generation bugs having to do with the
internals of asm; the ManglingClassWriter has been modified to give
more information about these sorts of failure in the hopes that we can
debug the problems in future.

Location:

trunk/ProjectFortress/LibraryBuiltin

Files:

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

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi

@@ -25 +25 @@
 
 trait String
+    getter isEmpty(): Boolean
     getter asString(): String
+    opr |self| : ZZ32
     opr || (self, b:String):String
     opr juxtaposition(self, b:String): String
@@ -97 +99 @@
 false : Boolean
 
+(************************************************************
+* Random numbers
+************************************************************)
+
+random(i:RR64): RR64
+randomZZ32(x:ZZ32): ZZ32
+
 end

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss

@@ -18 +18 @@
 component CompilerBuiltin
 import java com.sun.fortress.nativeHelpers.{simplePrintln.nativePrintln => jPrintln}
-import java com.sun.fortress.nativeHelpers.{simpleConcatenate.nativeConcatenate => jConcatenate}
+import java com.sun.fortress.nativeHelpers.{simpleConcatenate.nativeConcatenate => jConcatenate,
+                                            simpleConcatenate.nativeStrlen => jStrlen}
 import java com.sun.fortress.nativeHelpers.{simpleIntArith.intToString => jIntToString,
                                             simpleIntArith.intAdd => jIntAdd,
@@ -48 +49 @@
                                             simpleDoubleArith.doublePow => jDoublePow,
                                             simpleDoubleArith.doubleNanoTime => jNanoTime}
+import java com.sun.fortress.nativeHelpers.{LocalRandom.localRandomDouble => jRandomDouble,
+                                            LocalRandom.localRandomInt => jRandomInt }
 import AnyType.{Any}
 export CompilerBuiltin
@@ -57 +60 @@
 
 trait String
+    getter isEmpty(): Boolean = (jStrlen(self) = 0)
     getter asString(): String = self
+    opr |self| : ZZ32 = jStrlen(self)
     opr ||(self, b:String): String =  jConcatenate(self, b)
     opr juxtaposition(self, b:String): String = jConcatenate(self, b)
@@ -141 +146 @@
 false : Boolean = (0=1)
 
+(************************************************************
+* Random numbers
+************************************************************)
+
+random(i:RR64): RR64 = jRandomDouble(i)
+randomZZ32(x:ZZ32): ZZ32 = jRandomInt(0,x)
+
 end