[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] undocument "pattern matching" operator in Axiom in
Re: [Axiom-developer] undocument "pattern matching" operator in Axiom interpreter
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
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 :-).