Changeset 1597 for trunk/ProjectFortress/test_library

Timestamp:

05/08/08 05:08:19 (19 months ago)

Author:

jmaessen

Message:

Refactored libraries to move arithmetic operators from top level into
the relevant traits and objects.

This turned up a massive oversight in how the "asif" construct was
being handled (and also turned up the fact that in several interpreter
contexts it was being ignored entirely). Method call has been
re-factored so that all method calls are handled in one place, and
fixed this so that it works (though there are some outstanding
questions noted in the code).

Files:

• trunk/ProjectFortress/test_library/oddJuxtComp.fss (modified) (1 diff)

trunk/ProjectFortress/test_library/oddJuxtComp.fss

@@ -19 +19 @@
 export oddJuxtComp
 
-trait T excludes {HasRank, String} end
+trait T excludes { HasRank, String, AnyMultiplicativeRing } end
 
 opr juxtaposition[\L extends T, R extends T\](l: L, r: R): () =