[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
Greg
PS: Don't ask me how to use "is" in the interpreter, I don't know :-).