axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] (no subject)


From: Martin Rubey
Subject: [Axiom-developer] (no subject)
Date: Wed, 23 Jun 2004 16:25:08 +0000

Does anybody know about the exact semantics of #1 in compiled code?

For example, the following does not work:

)abbrev package TEST Test
Test(F): Cat == Body where
    F: Field

    Cat == with
            tst: (F, List F, List F) -> Boolean

    Body == add
      tst (e, lst1, lst2) ==
        any?(e=elt(lst1, #1), lst2)

But I don't have a clue why...

Martin





reply via email to

[Prev in Thread] Current Thread [Next in Thread]