aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-03-30 22:45:19 +0000
committerdos-reis <gdr@axiomatics.org>2008-03-30 22:45:19 +0000
commitd1991c79a1612d16a38ede9d6f72024f64714122 (patch)
tree72c51144a4fe69c5247cd5dbc815996857fe34c1 /src/interp
parentd4253914cd374bbb099b6055e8db595073c1b349 (diff)
downloadopen-axiom-d1991c79a1612d16a38ede9d6f72024f64714122.tar.gz
* interp/i-intern.boot (mkAtree3): Don't apply syntactic
transformation on `~=' expressions.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/i-intern.boot1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/interp/i-intern.boot b/src/interp/i-intern.boot
index 64951a32..90cbc66c 100644
--- a/src/interp/i-intern.boot
+++ b/src/interp/i-intern.boot
@@ -210,7 +210,6 @@ mkAtree3(x,op,argl) ==
-- new macros look like macro f == or macro f(x) ===
-- so transform into that format
mkAtree1 ["DEF",["macro",sym],junk1,junk2,val]
- x is ["~=",a,b] => mkAtree1 ["not",["=",a,b]]
x is ["+->",funargs,funbody] =>
if funbody is [":",body,type] then
types := [type]