diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-22 21:44:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 21:44:34 +0000 |
commit | 024f4b2055594e528ec98e733bd50684b2366db0 (patch) | |
tree | cf3da9fdf92fe71c354e720428fa4f4c43bb98b1 /src/interp/define.boot | |
parent | 510c2f70ce377d60eed221e46294767f7f548f5d (diff) | |
download | open-axiom-024f4b2055594e528ec98e733bd50684b2366db0.tar.gz |
* interp/g-util.boot (expandIeq): New expander for %ieq.
* interp/g-opt.boot (optIeq): New.
(optIadd): Likewise.
(optIsub): Likewise.
(optImul): Likewise.
(optIneg): Likewise.
(lispize): Remove.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index dbd8bfc7..c2f08f1d 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1414,7 +1414,7 @@ compSubDomain1(domainForm,predicate,m,e) == compCompilerPredicate(predicate,e) or stackSemanticError(["predicate: ",predicate, " cannot be interpreted with #1: ",domainForm],nil) - pred := lispize u.expr + pred := simplifyVMForm u.expr -- For now, reject predicates that directly reference domains CONTAINED("$",pred) => stackAndThrow('"predicate %1pb is not simple enough",[predicate]) |