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/ChangeLog | |
| 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/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 03a128f7..9fc72faf 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,22 @@ +2008-01-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * 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. + 2008-01-13 Gabriel Dos Reis <gdr@cs.tamu.edu> Fix SF/1852076 |