diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-02-19 00:35:15 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-02-19 00:35:15 +0000 |
| commit | 9fbb89443e0c88ee5e76d95a3eea2ac5ea9916b6 (patch) | |
| tree | f1bad297451efd27a5d980854c120d28d775ab41 /src/algebra/Makefile.pamphlet | |
| parent | a415d56c7fe71b04b00c0bc0a78e256791b27cb9 (diff) | |
| download | open-axiom-9fbb89443e0c88ee5e76d95a3eea2ac5ea9916b6.tar.gz | |
* algebra/variable.spad.pamphlet (AnonymousFunction): Add new
functions `parameters' and `body'.
* algebra/domain.spad.pamphlet: Rename from algebra/domain.spad.
(Category): New category.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CATEGORY.o.
(DOMAIN.NRLIB/code.$(FASLEXT)): Remove rule.
* interp/trace.boot (transTraceItem): Use $LangSupportTypes.
* interp/sys-constants.boot ($None): New.
($Type): Likewise.
($LangSupportTypes): Likewise.
* interp/parse.boot (parseHas): Use $LangSupportTypes.
(parseHasRhs): Likewise.
* interp/i-spec2.boot (upLETtype): Use conceptualType.
(uptypeOf): Likewise.
(upwhere): Likewise.
(typeOfType): Remove.
* interp/i-spec1.boot (isDomainValuedVariable): Variables with
type Category and Type are domain valued too.
* interp/i-output.boot (output): Special case only Mode and Type.
* interp/i-funsel.boot (selectMms): Don't ignore modemaps with
category parameters.
* interp/i-coerce.boot (canCoerce1): Test for Category instead of
SubDomain Domain.
(canCoerceFrom0): Use $None and $Any.
(absolutelyCannotCoerce): Use $None.
(coerceInteractive): Use $LangSupportTypes.
(coerceInt1): Use $Any.
* interp/i-analy.boot (conceptualType): New.
(bottomUpType): Use it.
* interp/clammed.boot (isValidType): Use $LangSupportTypes.
* interp/g-cndata.boot (isNameOfType): Likewise.
* interp/category.boot (Category): Remove hacky definition.
* interp/buildom.boot ($noCategoryDomains): Domain now has a
Lisplib.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 829c6dd3..6845c125 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -206,7 +206,7 @@ axiom_algebra_layer_0 = \ OM.o OMCONN.o OMDEV.o OUT.o \ PRIMCAT.o PRINT.o PTRANFN.o SPFCAT.o \ TYPE.o UTYPE.o PROPLOG.o PROPERTY.o \ - BASTYPE.o BASTYPE-.o + BASTYPE.o BASTYPE-.o CATEGORY.o axiom_algebra_layer_0_nrlibs = \ $(axiom_algebra_layer_0:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) @@ -1863,10 +1863,6 @@ PARSER.NRLIB/code.$(FASLEXT): script-parser.spad @ rm -rf PARSER.NRLIB echo ")co $(srcdir)/script-parser.spad" | ${INTERPSYS} -DOMAIN.NRLIB/code.$(FASLEXT): domain.spad - @ rm -rf DOMAIN.NRLIB - echo ")co $(srcdir)/domain.spad" | ${INTERPSYS} - @ <<diagrams.tex (OUT from IN)>>= |