Show
Ignore:
Timestamp:
06/04/09 09:24:05 (6 months ago)
Author:
EricAllen
Message:

Added more testing of parametric traits. Added more testing of syntactic abstraction. Added more native math operations to libraries. Improved a static error message.

Location:
trunk/ProjectFortress/LibraryBuiltin
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fsi

    r3772 r3799  
    4848    opr <(self, other:ZZ32) : Boolean 
    4949    opr <=(self, other:ZZ32): Boolean 
     50    opr >(self, other:ZZ32): Boolean 
    5051    opr =(self, other:ZZ32): Boolean 
    5152    opr juxtaposition(self, other:ZZ32): ZZ32 

  • trunk/ProjectFortress/LibraryBuiltin/CompilerBuiltin.fss

    r3775 r3799  
    2626                                            simpleIntArith.intLT => jIntLT, 
    2727                                            simpleIntArith.intLE => jIntLE, 
     28                                            simpleIntArith.intGT => jIntGT, 
    2829                                            simpleIntArith.intEQ => jIntEQ, 
    2930                                            simpleIntArith.intNeg => jIntNeg, 
    … …  
    6162    opr <(self, other:ZZ32): Boolean = jIntLT(self,other) 
    6263    opr <=(self, other:ZZ32): Boolean = jIntLE(self,other) 
     64    opr >(self, other:ZZ32): Boolean = jIntGT(self,other) 
    6365    opr =(self, other:ZZ32): Boolean = jIntEQ(self,other) 
    6466    opr juxtaposition(self, other:ZZ32): ZZ32 = jIntMul(self,other)