adamc@716
|
1 ========
|
adamc@716
|
2 Next
|
adamc@716
|
3 ========
|
adamc@716
|
4
|
adamc@716
|
5 - Reimplement constructor class resolution to be more general and Prolog-like
|
adamc@716
|
6 - SQL table constraints
|
adamc@717
|
7 - URLs, with configurable gatekeeper function Basis.bless
|
adamc@736
|
8 - Client-side error handling callbacks
|
adamc@736
|
9 - CSS
|
adamc@736
|
10 - Signing cookie values cryptographically to thwart cross site request forgery
|
adamc@744
|
11 - Blobs and HTTP file upload
|
adamc@752
|
12 - SQL outer joins
|
adamc@716
|
13
|
adamc@702
|
14 ========
|
adamc@702
|
15 20090405
|
adamc@702
|
16 ========
|
adamc@702
|
17
|
adamc@702
|
18 - Asynchronous message-passing and the associated server-side client
|
adamc@702
|
19 bookkeeping
|
adamc@702
|
20 - Reimplement parts of the client-side runtime system to avoid space leaks
|
adamc@702
|
21 - spawn and sleep
|
adamc@702
|
22 - Expand the constructor class instance rule format
|
adamc@702
|
23
|
adamc@663
|
24 ========
|
adamc@663
|
25 20090312
|
adamc@663
|
26 ========
|
adamc@663
|
27
|
adamc@663
|
28 - Replace type-level "fold" with "map"
|
adamc@663
|
29 - Replace expression-level "fold" with folders, defined in Top and
|
adamc@663
|
30 supported by some special compiler inference
|
adamc@663
|
31 - Replace guarded constructors with guarded types, introduced only by
|
adamc@663
|
32 guarded expression abstraction, and with a new explicit application form
|
adamc@663
|
33 - Kind polymorphism
|
adamc@663
|
34 - Generalize type classes to constructor classes
|
adamc@663
|
35 - Initial compilation of client-side code to JavaScript
|
adamc@663
|
36 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
|
adamc@665
|
37 - src/coq: Coq formalization of a core Ur-like calculus
|
adamc@663
|
38
|
adamc@506
|
39 ========
|
adamc@561
|
40 20081209
|
adamc@506
|
41 ========
|
adamc@506
|
42
|
adamc@506
|
43 - Optimization: Fusing page writes with calls to recursive functions
|
adamc@523
|
44 - Optimization of bottleneck compiler phases
|
adamc@561
|
45 - Reference manual
|
adamc@561
|
46 - SQL arithmetic operators
|
adamc@506
|
47
|
adamc@504
|
48 ========
|
adamc@504
|
49 20081120
|
adamc@504
|
50 ========
|
adamc@504
|
51
|
adamc@504
|
52 - Fix bug that sometimes led to omission of initial "<html>" in pages
|
adamc@504
|
53 - Take advantage of nested functions in some demos
|
adamc@504
|
54 - "profile" option that may appear in .urp files, to enable gprof profiling
|
adamc@663
|
55 - "-guided-demo" option that works like "-demo" but uses less screen space for
|
adamc@663
|
56 prose
|
adamc@504
|
57
|
adamc@467
|
58 ========
|
adamc@497
|
59 20081118
|
adamc@467
|
60 ========
|
adamc@467
|
61
|
adamc@467
|
62 - Nested function definitions
|
adamc@467
|
63 - Primitive "time" type
|
adamc@467
|
64 - Nullable SQL columns (via "option")
|
adamc@467
|
65 - Cookies
|
adamc@663
|
66 - Compiler: Specialization of functions to known arguments (especially of
|
adamc@663
|
67 function type)
|
adamc@467
|
68
|
adamc@435
|
69 ========
|
adamc@435
|
70 20081028
|
adamc@435
|
71 ========
|
adamc@435
|
72
|
adamc@435
|
73 - Add GCCARGS configure option
|
adamc@435
|
74
|
adamc@433
|
75 ========
|
adamc@433
|
76 20081027
|
adamc@433
|
77 ========
|
adamc@433
|
78
|
adamc@433
|
79 - On missing inputs, print an error message, but don't exit the web server.
|
adamc@434
|
80 - Remove need for "() <-" notation.
|
adamc@433
|
81
|
adamc@433
|
82 ========
|
adamc@433
|
83 20081026
|
adamc@433
|
84 ========
|
adamc@433
|
85
|
adamc@433
|
86 - Change 'sed' call to work on OSX.
|
adamc@433
|
87 - Avoid including or linking libpq files on apps that don't use SQL.
|