[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: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] undocument "pattern matching" operator in Axiom interpreter |
Date: |
03 Jan 2007 19:02:20 +0100 |
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