aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/syntax.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-30 20:06:08 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-30 20:06:08 +0000
commitb34d97dda5ce8c88d31412d11b1ad67da058480e (patch)
tree55222ea664797f046a2e7a8f807d36fb59438419 /src/algebra/syntax.spad.pamphlet
parentded226fca8f3a75d33602a7fbbc941c55e985fdf (diff)
downloadopen-axiom-b34d97dda5ce8c88d31412d11b1ad67da058480e.tar.gz
* interp/c-util.boot (middleEndExpand): Tidy.
* interp/g-util.boot (expandToVMForm): Likewise. (expandStore): Refine store to pair components. * algebra/any.spad.pamphlet (Scope): Use builtin operators. (Environment): Likewise. * algebra/domain.spad.pamphlet (FunctionDescriptor): Likewise. (ConstructorCall): Likewise. (FunctorData): Likewise. (OperatorSignature): Likewise. (Category): Likewise. (Domain): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. (NonNegativeInteger): Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/syntax.spad.pamphlet (Syntax): Likewise.
Diffstat (limited to 'src/algebra/syntax.spad.pamphlet')
-rw-r--r--src/algebra/syntax.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet
index 30de16df..ef4501ff 100644
--- a/src/algebra/syntax.spad.pamphlet
+++ b/src/algebra/syntax.spad.pamphlet
@@ -211,7 +211,7 @@ Syntax(): Public == Private where
getOperator x ==
atom? x => userError "atom as operand to getOperator"
- op: % := CAR(x)$Lisp
+ op: % := %head(x)$Foreign(Builtin)
op case Identifier => op@Identifier
op case Integer => op@Integer
op case DoubleFloat => op@DoubleFloat
@@ -223,7 +223,7 @@ Syntax(): Public == Private where
getOperands x ==
atom? x => []
- CDR(x)$Lisp
+ %tail(x)$Foreign(Builtin)
coerce(x: %): InputForm ==
x : InputForm