diff options
author | dos-reis <gdr@axiomatics.org> | 2007-11-17 22:29:45 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-11-17 22:29:45 +0000 |
commit | 016dfe5e315ee3ffb914813e68df4e5202dc7308 (patch) | |
tree | 909d365544e1ed84fd29955ca4802f6f9e3c536e /src/interp/clammed.boot.pamphlet | |
parent | 5a2a946a6650d258ab1f1364bdd77921ef0fb488 (diff) | |
download | open-axiom-016dfe5e315ee3ffb914813e68df4e5202dc7308.tar.gz |
* Makefile.pamphlet (clammed.$(FASLEXT)): New rule.
(<<clammed.clisp>>): Remove.
* clammed.boot.pamphlet: Push into package "BOOT". Fix syntax.
Diffstat (limited to 'src/interp/clammed.boot.pamphlet')
-rw-r--r-- | src/interp/clammed.boot.pamphlet | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/interp/clammed.boot.pamphlet b/src/interp/clammed.boot.pamphlet index af4ea229..1027d7e9 100644 --- a/src/interp/clammed.boot.pamphlet +++ b/src/interp/clammed.boot.pamphlet @@ -45,6 +45,9 @@ @ <<*>>= <<license>> +import '"g-timer" +)package "BOOT" +)eval BOOTTRAN::$bfClamming := true --% Functions on $clamList @@ -125,10 +128,10 @@ isValidType form == if # cl ^= # argl and GENSYMP last argl then argl:= DROP(-1,argl) # cl ^= # argl => nil cl:= replaceSharps(cl,form) - and/[isValid for x in argl for c in cl] where isValid == + and/[isValid for x in argl for c in cl] where isValid() == categoryForm?(c) => evalCategory(x,MSUBSTQ(x,'_$,c)) and isValidType x - not GETDATABASE(opOf x,'CONSTRUCTORKIND) = 'domain + GETDATABASE(opOf x,'CONSTRUCTORKIND) ^= 'domain selectMms1(op,tar,args1,args2,$Coerce) == -- for new compiler/old world compatibility, sometimes have to look |