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

[Gabriel Dos Reis]

"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.

-- Gaby