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/defaults.spad.pamphlet | |
| 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/defaults.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions