diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-29 12:40:21 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-29 12:40:21 +0000 |
| commit | 2b324bcfd116749f4966dd1948f0d9bf7b4a0033 (patch) | |
| tree | 10ed1be3212576c7ea8fadeb470fd8db36f0053b /src/interp/define.boot | |
| parent | 3e326898dae226b97b4234ae45bf0eb2620176ec (diff) | |
| download | open-axiom-2b324bcfd116749f4966dd1948f0d9bf7b4a0033.tar.gz | |
Misc backend cleanup.
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 7b9fbb4f..65bf6de4 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1553,7 +1553,7 @@ compDefineFunctor1(db,df is ['DEF,form,signature,body],m,$e,$formalArgList) == --either lookupComplete (for forgetful guys) or lookupIncomplete $NRTslot1PredicateList := [simpBool x for x in $NRTslot1PredicateList] - printBackendDecl('loadTimeStuff, + printBackendStmt(db, ['MAKEPROP,MKQ $op,''infovec,getInfovecCode(db,$e)]) $lisplibOperationAlist:= operationAlist [fun,['Mapping,:signature'],originale] @@ -2159,7 +2159,7 @@ compileConstructor1(db,form:=[fn,[key,vl,:bodyl]]) == ++ Subroutine of compileConstructor1. Called to compile the body ++ of a category constructor definition. compAndDefine(db,l) == - $backend: local := function evalAndPrintBackendDecl + $backend: local := function((v,x) +-> evalAndPrintBackendStmt(db,x)) backendCompile(db,l) compHash(db,op,argl,body) == |