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