aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog5
-rw-r--r--src/interp/compiler.boot7
2 files changed, 5 insertions, 7 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index e67ca95e..f38f9d7a 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2011-02-12 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/compiler.boot (compExpressionList): Remove.
+ (compForm1): Don't call it.
+
2011-02-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/g-opt.boot (changeVariableDefinitionToStore): Tidy.
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]