From c3efb458ecde8f2b30f5b51ebeda24fbaf894ce9 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 8 Feb 2011 19:44:03 +0000 Subject: * 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. --- src/interp/compiler.boot | 2 +- src/interp/lisp-backend.boot | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/interp') 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 -- cgit v1.2.3