From 4601ffa3bc49e44b09f7d58f355d76f4d06de220 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 20 Apr 2009 15:07:26 +0000
Subject: * 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.
---
src/algebra/variable.spad.pamphlet | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
(limited to 'src/algebra/variable.spad.pamphlet')
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
--
cgit v1.2.3