diff options
author | dos-reis <gdr@axiomatics.org> | 2007-11-24 20:02:22 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-11-24 20:02:22 +0000 |
commit | 9623b4db02612db5c7e9ac8a573bde7f92928b17 (patch) | |
tree | a07d6fa527fa9f2e931bf775f8354e565836f418 /src | |
parent | b272b8461c3514104e07c35e040a8cbcf44098ac (diff) | |
download | open-axiom-9623b4db02612db5c7e9ac8a573bde7f92928b17.tar.gz |
* nrungo.boot (lazyCompareSigEqual): If template slot is "$" then
compare with reified dollar.
Diffstat (limited to 'src')
-rw-r--r-- | src/interp/ChangeLog | 5 | ||||
-rw-r--r-- | src/interp/nrungo.boot | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/interp/ChangeLog b/src/interp/ChangeLog index ff4d153d..69160e62 100644 --- a/src/interp/ChangeLog +++ b/src/interp/ChangeLog @@ -1,3 +1,8 @@ +2007-11-24 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * nrungo.boot (lazyCompareSigEqual): If template slot is "$" then + compare with reified dollar. + 2007-11-23 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (cfuns.$(FASLEXT)): New rule. diff --git a/src/interp/nrungo.boot b/src/interp/nrungo.boot index 229ad785..16470b1e 100644 --- a/src/interp/nrungo.boot +++ b/src/interp/nrungo.boot @@ -245,7 +245,7 @@ compareSig(sig,tableSig,dollar,domain) == for s in rest sig for t in rest tableSig] lazyCompareSigEqual(s,tslot,dollar,domain) == - tslot = '$ => s = tslot -- devaluate dollar --needed for browser + tslot = '$ => s = "$" or s = devaluate dollar INTEGERP tslot and PAIRP(lazyt:=domain.tslot) and PAIRP s => lazyt is [.,.,.,[.,item,.]] and item is [.,[functorName,:.]] and functorName = CAR s => |