From cd78da3860f838c41aedc3a0c475cfc8c23eaad3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 17 Aug 2009 13:34:29 +0000 Subject: * boot/tokens.boot: Retire "^" as negation operator. * interp/br-search.boot: Use "not" instead of "^". * interp/br-util.boot: Likewise. * interp/database.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/g-error.boot: Likewise. * interp/i-analy.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-map.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-resolv.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/i-spec2.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/mark.boot: Likewise. * interp/modemap.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/spad-parser.boot: Likewise. * interp/trace.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. --- src/interp/define.boot | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/interp/define.boot') diff --git a/src/interp/define.boot b/src/interp/define.boot index d0164940..0780dc52 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1102,7 +1102,7 @@ checkAndDeclare(argl,form,sig,e) == for a in argl for m in rest sig repeat isQuasiquote m => nil -- we just built m from a. m1:= getArgumentMode(a,e) => - ^modeEqual(m1,m) => + not modeEqual(m1,m) => stack:= [" ",:bright a,'"must have type ",m, '" not ",m1,'%l,:stack] e:= put(a,'mode,m,e) @@ -1303,7 +1303,7 @@ compileConstructor1 (form:=[fn,[key,vl,:bodyl]]) == constructMacro: %Form -> %Form constructMacro (form is [nam,[lam,vl,body]]) == - ^(and/[atom x for x in vl]) => + not (and/[atom x for x in vl]) => stackSemanticError(["illegal parameters for macro: ",vl],nil) ["XLAM",vl':= [x for x in vl | IDENTP x],body] -- cgit v1.2.3