blob: 55fb4d2b8f9c44891dc16789442662e2798e9976 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
2008-01-15 Gabriel Dos Reis <gdr@cs.tamu.edu>
Fix SF/1850071
* algebra/syntax.spad (compound?$Syntax): New.
2008-01-15 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/boolean.spad.pamphlet (PropositionalLogic): New category.
(Boolean): Assert as belonging to PropositionalLogic.
Update cached Lisp translation.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Add
PROPLOG.o
* src/algebra: Update databases.
2008-01-15 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/syntax.spad (autoCoerce$Syntax): Add overloads.
* interp/compiler.boot (coerceExtraHard): Always coerce by
autoCoerce.
* testsuite/interpreter/case.spad: Likewise.
* testsuite/interpreter/case.input: New.
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
* algebra/domain.spad (reify$Domain): Specify target type of
conversion.
* interp/nrunfast.boot (newLookupInDomain): Tidy.
(newLookupInCategories): Likewise.
* testsuite/interpreter/1852076.input: New.
2008-01-13 Gabriel Dos Reis <gdr@cs.tamu.edu>
Fix SF/1867459
* interp/postpar.boot (postError): Fix thinko.
* interp/parse.boot ($defOp): Define.
* testsuite/compiler/1867459.spad: New.
2008-01-13 Ralf Hemmecke <ralf@hemmecke.de>
Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/bags.spad.pamphlet (map!$Stack): Cache the result in the
underlying reference.
2008-01-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/msg.boot (getStFromMsg): Fix typo.
2008-01-10 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/syntax.spad (getOperator): Inject into the right
Union branch.
2008-01-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/msgdb.boot (brightPrint0): Disable highlightinh on Win32.
* lib/cfuns-c.c (std_stream_is_terminal): Tidy.
2008-01-08 Gabriel Dos Reis <gdr@cs.tamu.edu>
* boot/Makefile.pamphlet (AXIOM_LOCAL_LISP): Use Lisp image with C
bindings.
* interp/msgdb.boot (brightPrint0): Don't highlight if the
standard output is not attached to a terminal.
* interp/sys-driver.boot (stdStreamIsTerminal): New.
* lib/cfuns-c.c (std_stream_is_terminal): New.
2008-01-07 Gabriel Dos Reis <gdr@cs.tamu.edu>
* boot/ast.boot.pamphlet (Ast): Add ImportSignature, Signature,
and Mapping.
* boot/parser.boot.pamphlet (bpImport): Parse import declaration.
(bpSignature): New.
(bpMapping): Likewise.
* boot/tokens.boot.pamphlet (shoeKeyWords): Add new keyword.
* boot/translator.boot.pamphlet (genImportDeclaration): Translate
import declaration.
(shoeOutItem): Handle import declarations.
2008-01-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* sman/sman.c: Remove debug and dead codes.
2008-01-06 Gabriel Dos Reis <gdr@cs.tamu.edu>
* driver/main.c (main) [__WIN32__]: Fix off-by-one thinko.
2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>
* scripts/axiom.in: Remove.
* driver: New directory.
* driver/main.c: New. Now implement driver as native
application.
|
