[Top][All Lists]

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

Re: [Axiom-developer] undocument "pattern matching" operator in Axiom in

From: Vanuxem Gregory
Subject: Re: [Axiom-developer] undocument "pattern matching" operator in Axiom interpreter
Date: Wed, 03 Jan 2007 18:10:05 +0100

Le mardi 02 janvier 2007 à 21:59 -0500, Bill Page a écrit :


> Does anyone know where I can find out how to use "is" in the
> interpreter? Where is this defined in the the interpreter source
> code?

What you are looking for can be found in i-spec1.boot and i-spec2.boot
("upis" in your case ("up" - "is")). The "real" job is in i-analy.boot.
This is where the function "upis" is called . See the function bottomUp
and more precisely the line that contains:

(fn:= GET(opName,"up")) and (u:= FUNCALL(fn, t)) => u


PS: Don't ask me how to use "is" in the interpreter, I don't know :-).

reply via email to

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