diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-20 15:07:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-20 15:07:26 +0000 |
commit | 4601ffa3bc49e44b09f7d58f355d76f4d06de220 (patch) | |
tree | f85d37165cf252ff2bda3fb3aa1f08bec1fd0f43 /src/algebra/variable.spad.pamphlet | |
parent | 107ad31254bf3de30516ce0f2563892bacf9cb60 (diff) | |
download | open-axiom-4601ffa3bc49e44b09f7d58f355d76f4d06de220.tar.gz |
* interp/sys-constants.boot ($Identifier): New.
* interp/compiler.boot (compQuote): Use the target mode if appropriate.
* interp/i-spec2.boot (upQUOTE): Likewise.
* algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.
Diffstat (limited to 'src/algebra/variable.spad.pamphlet')
-rw-r--r-- | src/algebra/variable.spad.pamphlet | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/algebra/variable.spad.pamphlet b/src/algebra/variable.spad.pamphlet index f4de7726..6678dba2 100644 --- a/src/algebra/variable.spad.pamphlet +++ b/src/algebra/variable.spad.pamphlet @@ -91,10 +91,11 @@ FunctionCalled(f:Symbol): SetCategory with \section{domain ANON AnonymousFunction} <<domain ANON AnonymousFunction>>= )abbrev domain ANON AnonymousFunction +++ Date Last Modified: April 20, 2009 ++ Description: -++ This domain implements anonymous functions +++ This domain implements anonymous functions AnonymousFunction():SetCategory with - parameters: % -> List Symbol + parameters: % -> List Identifier ++ parameters(f) returns the list of parameters bound by `f'. body: % -> Syntax ++ body(f) returns the body of the unnamed function `f'. @@ -105,8 +106,8 @@ AnonymousFunction():SetCategory with parameters f == ps := CADR(f)$Lisp : Syntax - ps case Symbol => [ps]$List(Symbol) - getOperands(ps) pretend List(Symbol) + ps case Identifier => [ps]$List(Identifier) + getOperands(ps) pretend List(Identifier) body f == CADDR(f)$Lisp : Syntax |