aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog4
-rw-r--r--src/interp/i-coerce.boot3
2 files changed, 6 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 24c146c2..7cc24a09 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2010-05-30 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/i-coerce.boot (getSubDomainPredicate): Use compileInteractive.
+
2010-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/boolean.spad.pamphlet (Boolean): Remove reference to
diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot
index bd11d794..c051c1c0 100644
--- a/src/interp/i-coerce.boot
+++ b/src/interp/i-coerce.boot
@@ -928,7 +928,8 @@ coerceSubDomain(val, tSuper, tSub) ==
getSubDomainPredicate(tSuper, tSub, pred) ==
predfn := HGET($superHash, [tSuper,:tSub]) => predfn
arg := gensym()
- predfn := COMPILE(nil,["LAMBDA",[arg],substitute(arg,"#1", pred)])
+ [predfn] := compileInteractive
+ [gensym(),['LAM,[arg],substitute(arg,"#1", pred)]]
HPUT($superHash, [tSuper,:tSub], predfn)
predfn