diff options
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 |