diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-04 12:50:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-04 12:50:32 +0000 |
| commit | 151f227545f5afa179bd1d0c4b179aa0a83b82f5 (patch) | |
| tree | 335122f4d0615cf6d8f298dfcf5becfa2030de0b /src/interp/compiler.boot | |
| parent | ad0d6445de436a1c7c04cfe14316d620cb9202b3 (diff) | |
| download | open-axiom-151f227545f5afa179bd1d0c4b179aa0a83b82f5.tar.gz | |
* interp/buildom.boot (createEnum): Fix quoting.
* interp/compat.boot (system): Likewise.
* interp/astr.boot (ncEltQ): Fix declaration.
* interp/compiler.boot (compMapCond'): Likewise.
(compMapCond): Likewise.
(compMapCondFun): Remove declaration.
Diffstat (limited to 'src/interp/compiler.boot')
| -rw-r--r-- | src/interp/compiler.boot | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index bc56663c..b49a420c 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -80,9 +80,6 @@ getFormModemaps: (%Form,%Env) -> %List transImplementation: (%Form,%Modemap,%Thing) -> %Code reshapeArgumentList: (%Form,%Signature) -> %Form applyMapping: (%Form,%Mode,%Env,%List) -> %Maybe %Triple -compMapCond: (%Symbol,%Mode,%Env,%List) -> %Code -compMapCond': (%List,%Symbol,%Mode,%Env) -> %Code -compMapCondFun: (%Thing,%Symbol,%Mode,%Env) -> %Code ++ A list of routines for diagnostic reports. These functions, in an @@ -444,8 +441,8 @@ hasUniqueCaseView(x,m,e) == convertOrCroak(T,m) == u:= convert(T,m) => u - userError ["CANNOT CONVERT: ",T.expr,"%l"," OF MODE: ",T.mode,"%l", - " TO MODE: ",m,"%l"] + userError ['"CANNOT CONVERT: ",T.expr,"%l",'" OF MODE: ",T.mode,"%l", + '" TO MODE: ",m,"%l"] convert(T,m) == coerce(T,resolve(T.mode,m) or return nil) @@ -1704,10 +1701,7 @@ compApplyModemap(form,modemap,$e) == -- 2. Select viable modemap implementation. compViableModemap(op,lt,modemap) -compMapCond(dc,[cexpr,fnexpr]) == - compMapCond'(cexpr,dc) => fnexpr - stackMessage('"not known that %1pb has %2pb",[dc,cexpr]) - +compMapCond': (%Form,%Mode) -> %Boolean compMapCond'(cexpr,dc) == cexpr=true => true cexpr is ["AND",:l] => and/[compMapCond'(u,dc) for u in l] @@ -1724,6 +1718,11 @@ compMapCond'(cexpr,dc) == stackMessage('"not known that %1pb has %2pb",[dc,cexpr]) false +compMapCond: (%Mode,%List) -> %Code +compMapCond(dc,[cexpr,fnexpr]) == + compMapCond'(cexpr,dc) => fnexpr + stackMessage('"not known that %1pb has %2pb",[dc,cexpr]) + --% @@ -1889,7 +1888,7 @@ compReduce1(form is ["REDUCE",op,.,collectForm],m,e,$formalArgList) == [collectOp,:itl,body]:= collectForm if STRINGP op then op:= INTERN op ^MEMQ(collectOp,'(COLLECT COLLECTV COLLECTVEC)) => - systemError ["illegal reduction form:",form] + systemError ['"illegal reduction form:",form] $sideEffectsList: local := nil $until: local := nil $initList: local := nil |