Changeset 3966 for trunk/ProjectFortress/LibraryBuiltin

Timestamp:

07/16/09 14:18:47 (4 months ago)

Author:

jmaessen

Message:

[testing] Some code for testing the type checking of comprehensions.
This code does everything longhand, and monomorphises everything, so
that the only challenge should be in inferring function parameters.

When this works we can create a polymorphic version, and from there
explore alternative desugarings.

Note that this code might contain bugs; there's no way of getting it
through the type checker and thus no way of knowing for sure.

Location:

trunk/ProjectFortress/LibraryBuiltin

Files:

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

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi

@@ -52 +52 @@
     opr juxtaposition(self, other:ZZ32): ZZ32
     opr DOT(self, other:ZZ32): ZZ32
+    opr DIV(self, other:ZZ32): ZZ32
 end
 

trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss

@@ -24 +24 @@
                                             simpleIntArith.intSub => jIntSub,
                                             simpleIntArith.intMul => jIntMul,
+                                            simpleIntArith.intDiv => jIntDiv,
                                             simpleIntArith.intLT => jIntLT,
                                             simpleIntArith.intLE => jIntLE,
@@ -66 +67 @@
     opr juxtaposition(self, other:ZZ32): ZZ32 = jIntMul(self,other)
     opr DOT(self, other:ZZ32): ZZ32 = jIntMul(self,other)
+    opr DIV(self, other:ZZ32): ZZ32 = jIntDiv(self,other)
 end