root/trunk/ProjectFortress/test_library/oddJuxtComp.fss

Revision 1597, 0.9 KB (checked in by jmaessen, 19 months ago)

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).

Line 
1(*******************************************************************************
2    Copyright 2008 Sun Microsystems, Inc.,
3    4150 Network Circle, Santa Clara, California 95054, U.S.A.
4    All rights reserved.
5
6    U.S. Government Rights - Commercial software.
7    Government users are subject to the Sun Microsystems, Inc. standard
8    license agreement and applicable provisions of the FAR and its supplements.
9
10    Use is subject to license terms.
11
12    This distribution may include materials developed by third parties.
13
14    Sun, Sun Microsystems, the Sun logo and Java are trademarks or registered
15    trademarks of Sun Microsystems, Inc. in the U.S. and other countries.
16 ******************************************************************************)
17
18component oddJuxtComp
19export oddJuxtComp
20
21trait T excludes { HasRank, String, AnyMultiplicativeRing } end
22
23opr juxtaposition[\L extends T, R extends T\](l: L, r: R): () =
24    fail("wrong juxtaposition")
25
26end
Note: See TracBrowser for help on using the browser.