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