diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-14 12:17:21 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-14 12:17:21 +0000 |
commit | 4a4b92d282fbe89881b469ed0a8ac25bf33cad05 (patch) | |
tree | d730a25c62f6cddf337d4dedf55de6002ebb73da /src/algebra/Makefile.in | |
parent | ef3e16960ee4d9d1c02c1f63a7f8125a489d1373 (diff) | |
download | open-axiom-4a4b92d282fbe89881b469ed0a8ac25bf33cad05.tar.gz |
* interp/compiler.boot (compSymbol): Don't handle possible
case views here.
(hasUniqueCaseView): Rename from getUniqueCaseView. Take the
target mode as second argument.
(compForm2): Use calling convention vector to determine infer flag
parameter types.
(compCase1): Uniformly handle `case-expressions'. Call
genDeltaEntry for selected operator.
(coerceExtraHard): Handle coercions from UnionType domains.
(autoCoerceByModemap): Tidy.
* interp/g-opt.boot (optCall): Be more verbose in diagnostics.
* algebra/syntax.spad (Syntax): Rework.
* algebra/coerce.spad.pamphlet (UnionType): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0):
Include UTYPE.o
* share/algebra: Update databases.
Diffstat (limited to 'src/algebra/Makefile.in')
-rw-r--r-- | src/algebra/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 3d9371db..a974ad21 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -377,7 +377,7 @@ axiom_algebra_layer_0 = \ KOERCE.o KONVERT.o MSYSCMD.o ODEIFTBL.o \ OM.o OMCONN.o OMDEV.o OUT.o \ PRIMCAT.o PRINT.o PTRANFN.o SPFCAT.o \ - TYPE.o + TYPE.o UTYPE.o axiom_algebra_layer_0_nrlibs = \ $(axiom_algebra_layer_0:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) |