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

[Gabriel Dos Reis]

Gabriel Dos Reis <address@hidden> writes:

| "Bill Page" <address@hidden> writes:
| 
| | I have not been able to find any documentation about the use
| | of "is" in the Axiom interpreter. For example:
| 
| [...]
| 
| | 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? Is this operator also defined in the SPAD language?
| 
| Two weeks ago, while looking at the "new compiler parser", I became
| aware that new Boot's "is" and "isnt" are part of SPAD.  Have a look
| at the parsing function npMatch in src/interp/cparse.boot.

In fact, "is" and "isnt" are also implemented by the interpreter and
the old SPAD compiler.  See src/interp/parini.boot and
src/interp/property.lisp. 

-- Gaby