aboutsummaryrefslogtreecommitdiff
path: root/src/interp/compiler.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-02-12 19:51:57 +0000
committerdos-reis <gdr@axiomatics.org>2011-02-12 19:51:57 +0000
commite44a361a938389bcb86af09d458c615ac8d73489 (patch)
treed2c16a3aaf98f21b000d3abaf854f1ae72d4c5dc /src/interp/compiler.boot
parent2a2fe733e099430c34237fe7079e9af5590d6566 (diff)
downloadopen-axiom-e44a361a938389bcb86af09d458c615ac8d73489.tar.gz
* interp/compiler.boot (compExpressionList): Remove.
(compForm1): Don't call it.
Diffstat (limited to 'src/interp/compiler.boot')
-rw-r--r--src/interp/compiler.boot7
1 files changed, 0 insertions, 7 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 4b9a3df0..c0e0c87a 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -63,7 +63,6 @@ compForm1: (%Form,%Mode,%Env) -> %Maybe %Triple
compForm2: (%Form,%Mode,%Env,%List) -> %Maybe %Triple
compForm3: (%Form,%Mode,%Env,%List) -> %Maybe %Triple
compArgumentsAndTryAgain: (%Form,%Mode,%Env) -> %Maybe %Triple
-compExpressionList: (%List,%Mode,%Env) -> %Maybe %Triple
compWithMappingMode: (%Form,%Mode,%List) -> %List
compFormMatch: (%Modemap,%List) -> %Boolean
compFormWithModemap: (%Form,%Mode,%Env,%Modemap) -> %Maybe %Triple
@@ -498,7 +497,6 @@ compForm1(form is [op,:argl],m,e) ==
domain="Lisp" =>
--op'='QUOTE and null rest argl => [first argl,m,e]
[[op',:[([.,.,e]:= compOrCroak(x,$EmptyMode,e)).expr for x in argl]],m,e]
- domain=$Expression and op'="construct" => compExpressionList(argl,m,e)
domain is ["Foreign",lang] => compForeignPackageCall(lang,op',argl,m,e)
(op'="COLLECT") and coerceable(domain,m,e) =>
(T:= comp([op',:argl],domain,e) or return nil; coerce(T,m))
@@ -516,11 +514,6 @@ compForm1(form is [op,:argl],m,e) ==
(mmList:= getFormModemaps(form,e)) and (T:= compForm2(form,m,e,mmList)) => T
compToApply(op,argl,m,e)
-compExpressionList(argl,m,e) ==
- Tl:= [[.,.,e]:= comp(x,$Expression,e) or return "failed" for x in argl]
- Tl="failed" => nil
- convert([['%listlit,:[y.expr for y in Tl]],$Expression,e],m)
-
compForm2(form is [op,:argl],m,e,modemapList) ==
sargl:= TAKE(# argl, $TriangleVariableList)
aList:= [[sa,:a] for a in argl for sa in sargl]