annotate CHANGELOG @ 919:cc956020801b

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