diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-03-30 22:45:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-03-30 22:45:19 +0000 |
| commit | d1991c79a1612d16a38ede9d6f72024f64714122 (patch) | |
| tree | 72c51144a4fe69c5247cd5dbc815996857fe34c1 | |
| parent | d4253914cd374bbb099b6055e8db595073c1b349 (diff) | |
| download | open-axiom-d1991c79a1612d16a38ede9d6f72024f64714122.tar.gz | |
* interp/i-intern.boot (mkAtree3): Don't apply syntactic
transformation on `~=' expressions.
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/interp/i-intern.boot | 1 |
2 files changed, 5 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index b032d3f6..7d8cb609 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2008-03-30 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/i-intern.boot (mkAtree3): Don't apply syntactic + transformation on `~=' expressions. + +2008-03-30 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/buildom.boot: Cache constructor instantiations. * interp/clam.boot (haddProp): Update comment. 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] |