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