diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-09-11 21:16:16 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-09-11 21:16:16 +0000 |
| commit | 82b165809b7b67864b2ed9bc8217a2a197f58621 (patch) | |
| tree | 72e0709c43ae8c844b85c1346870229ea5426860 /src/interp/lisplib.boot | |
| parent | c868015d912449eb551ff379031b4fe4b3fab255 (diff) | |
| download | open-axiom-82b165809b7b67864b2ed9bc8217a2a197f58621.tar.gz | |
* interp/lisplib.boot (isFunctor): Noe recognize Mapping as a functor.
* interp/g-opt.boot (doInlineCall): Tidy one more time.
($VMsideEffectFreeOperators): Move %aplly to $simpleVMoperators.
(optLET): Remove as unused.
* interp/lisp-backend.boot (expandApply): New. Register as
expander for %apply forms.
* interp/define.boot (getXmode): New.
(displayMissingFunctions): Use it instead of getmode.
(compDefineCapsuleFunction): Likewise.
(addDomain): Likewise.
(getSignature): Likewise.
(compile): Likewise.
(compJoin): Likewise.
* interp/compiler.boot (comp3): Likewise.
(compWithMappingMode): Likewise.
(applyMapping): Generate %apply form.
(compApplication): Likewise.
(autoCoerceByModemap): Likewise.
(extractCodeAndConstructTriple): Handle %apply forms.
(setqSingle): For domain variables, put corresponding macro forms
in the environment.
* algebra/ore.spad.pamphlet (Automorphism): Define Rep as a constant.
Adjust; include explicit uses of rep and per.
Diffstat (limited to 'src/interp/lisplib.boot')
| -rw-r--r-- | src/interp/lisplib.boot | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index 4d7d0d7c..0bf11904 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -734,9 +734,7 @@ isFunctor x == builtinFunctorName? op => true getConstructorKindFromDB op in '(domain package) u := get(op,'isFunctor,$CategoryFrame) => u - op in '(SubDomain Union Record Enumeration) => true - --FIXME: above should use builtinFunctionName?. Change when - --FIXME: Mapping acquire first class functorship. + builtinFunctorName? op => true kind := getConstructorKindFromDB op kind = nil or kind = 'category => false updateCategoryFrameForConstructor op |