diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-08 19:44:03 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-08 19:44:03 +0000 |
| commit | c3efb458ecde8f2b30f5b51ebeda24fbaf894ce9 (patch) | |
| tree | 3121fd9043bf8eeb277305376461d6d1f595e354 /src/interp | |
| parent | 2a235748f5933b7514a01247afd5f73371a1e542 (diff) | |
| download | open-axiom-c3efb458ecde8f2b30f5b51ebeda24fbaf894ce9.tar.gz | |
* interp/lisp-backend.boot: Translate %ident? to IDENTP, not SYMBOLP.
* interp/compiler.boot (compMatch): test for identifier, not
atomic value.
* algebra/syntax.spad.pamphlet (Syntax): Tidy.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/compiler.boot | 2 | ||||
| -rw-r--r-- | src/interp/lisp-backend.boot | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 857ed4b0..b231b3db 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -2213,7 +2213,7 @@ compMatch(["%Match",subject,altBlock],m,env) == $catchAllCount = 0 => stackAndThrow('"missing %b otherwise %d alternative in case pattern",nil) code := - atom sn => ['%bind,[[sn,se]],['%when,:nreverse altsCode]] + IDENTP sn => ['%bind,[[sn,se]],['%when,:nreverse altsCode]] ["%bind",[[n,e] for n in sn for e in rest se], ['%when,:nreverse altsCode]] [code,m,savedEnv] diff --git a/src/interp/lisp-backend.boot b/src/interp/lisp-backend.boot index 646dab26..151520d1 100644 --- a/src/interp/lisp-backend.boot +++ b/src/interp/lisp-backend.boot @@ -570,7 +570,7 @@ for x in [ -- symbol unary functions ['%gensym, :'GENSYM], ['%sname, :'SYMBOL_-NAME], - ['%ident?, :'SYMBOLP], + ['%ident?, :'IDENTP], ['%property,:'GET], -- string functions |