diff options
author | dos-reis <gdr@axiomatics.org> | 2011-12-08 02:40:09 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-12-08 02:40:09 +0000 |
commit | 13234d734eae71bbeb29c5280f27b0bf6eb3a839 (patch) | |
tree | 2b4e5d0914f3bd77aff6c27d995a7e6129f121c9 /src/interp/compiler.boot | |
parent | e37be16362b844403c5d4c47fa91fd2540389041 (diff) | |
download | open-axiom-13234d734eae71bbeb29c5280f27b0bf6eb3a839.tar.gz |
* interp/g-opt.boot (tranformIF!): New.
(optimize!): Likewise. Abstract from optimizeFunctionDef.
(optimize): New.
(optimizeFunctionDef): Use optimize!.
(simplifyVMForm): Do not call optIF2COND.
(optIF2COND): Remove.
* interp/compiler.boot (compHasFormat): Use optimize! in lieu of
simplifyVMForm.
* interp/nruncomp.boot (NRTencode): Use optimize.
(NRTsetVector4a): Likewise.
Diffstat (limited to 'src/interp/compiler.boot')
-rw-r--r-- | src/interp/compiler.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 14dd801c..959d3b84 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1373,7 +1373,7 @@ compHasFormat(pred is ["has",olda,b],e) == mkList [MKQ op,mkList [mkTypeForm type for type in sig]]] b is ["Join",:l] or b is ["CATEGORY",.,:l] => ["AND",:[compHasFormat(["has",olda,c],e) for c in l]] - isCategoryForm(b,e) => ["HasCategory",a,simplifyVMForm mkTypeForm b] + isCategoryForm(b,e) => ["HasCategory",a,optimize! mkTypeForm b] stackAndThrow('"Second argument to %1b must be a category, or a signature or an attribute",["has"]) --% IF |