annotate CHANGELOG @ 855:28e42b22424d

Initial implementation of protocols in Settings
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 15:56:04 -0400
parents 4d4c62d95b9c
children 2faf558b2d05
rev   line source
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.