From 77d293322d11ad09575a85f421796da7db471797 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 29 Jun 2010 16:22:49 +0000 Subject: * algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here. (OrderedType) [max,min]: Export and provide defaults. (OrderedSet): Simplify. (SetCategory) [before?]: Move to BasicType. --- src/algebra/Makefile.pamphlet | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/algebra/Makefile.pamphlet') diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index ac8b758f..2d3e0908 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -215,7 +215,8 @@ $(OUT)/FLAGG.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ $(OUT)/REAL.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/A1AGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LOGIC.$(FASLEXT) \ - $(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT) + $(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT) \ + $(OUT)/ORDTYPE-.$(FASLEXT) $(OUT)/SRAGG.$(FASLEXT): $(OUT)/A1AGG.$(FASLEXT) $(OUT)/ISTRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) \ $(OUT)/DIFFSPC-.$(FASLEXT) $(OUT)/DIFFDOM-.$(FASLEXT) @@ -246,7 +247,8 @@ $(OUT)/BASTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SETCAT-.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) $(OUT)/FINITE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/ORDSET.$(FASLEXT) $(OUT)/ORDSET-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/ORDSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/ORDTYPE.$(FASLEXT) $(OUT)/FILECAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SEXCAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/LINEXP.$(FASLEXT) \ @@ -307,7 +309,7 @@ axiom_algebra_layer_0 = \ PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ BMODULE BASTYPE BASTYPE- STEP LMODULE \ RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ - ABELSG- ORDSET ORDSET- OASGP FILECAT SEXCAT \ + ABELSG- ORDSET OASGP FILECAT SEXCAT \ MODULE MODULE- PID OAGROUP OCAMON OAMON \ RNG ORDFIN LLINSET RLINSET LINSET OAMONS \ MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ -- cgit v1.2.3