diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-22 17:15:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-22 17:15:56 +0000 |
commit | eaa1adc1cb6ed9ec07ff56614700fe713ba6667c (patch) | |
tree | c37aeb6ed1ebfe0adbe0ced27a1402aa4dad043a /src/interp/i-eval.boot | |
parent | 5da95c1b34152d06c776e1c446a51c6703b46cc6 (diff) | |
download | open-axiom-eaa1adc1cb6ed9ec07ff56614700fe713ba6667c.tar.gz |
* interp/br-op2.boot (htSayExplicitExports): Don't forget possible
constant marker in exported signatures.
* interp/cattable.boot (simpHas): Likewise.
* interp/format.boot (form2String1): Likewise.
* interp/i-eval.boot (evaluateSignature): Likewise.
* interp/i-funsel.boot (hasCaty): Likewise.
(hasAttSig): Likewise.
* interp/define.boot (extendsCategory): Likewise.
(extendsCategoryBasic): Likewise.
(catExtendsCat?): Likewise.
(mkExportFromDescription): New.
(mkCategoryPackage): Use it.
* boot/tokens.boot: Add new selectors: mapOpsig, mapOperation,
mapPredicate, and mapImpl.
Diffstat (limited to 'src/interp/i-eval.boot')
-rw-r--r-- | src/interp/i-eval.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-eval.boot b/src/interp/i-eval.boot index 0def18d3..5572f087 100644 --- a/src/interp/i-eval.boot +++ b/src/interp/i-eval.boot @@ -200,9 +200,9 @@ makeOrdinal i == evaluateSignature sig == -- calls evaluateType on a signature - sig is ['SIGNATURE,fun,sigl] => + sig is ['SIGNATURE,fun,sigl,:q] => ['SIGNATURE,fun, - [(t = '_$ => t; evaluateType(t)) for t in sigl]] + [(t = '_$ => t; evaluateType(t)) for t in sigl],:q] sig --% Code Evaluation |