annotate CHANGELOG @ 1025:7facf72aaf0a

Initial form for paper assignment
author Adam Chlipala <adamc@hcoop.net>
date Sun, 01 Nov 2009 14:26:20 -0500
parents 7a4a55e05081
children b734ff578ac7
rev   line source
adamc@1020 1 ========
adamc@1020 2 Next
adamc@1020 3 ========
adamc@1020 4
adamc@1020 5 - Bug fixes
adamc@1020 6 - Optimization improvements
adamc@1021 7 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 8 from compiling
adamc@1020 9 - New extra demo: conference1
adamc@1020 10
adamc@999 11 ========
adamc@999 12 20091012
adamc@999 13 ========
adamc@999 14
adamc@999 15 - Small bug fixes affecting MySQL and SQLite
adamc@999 16
adamc@988 17 ========
adamc@997 18 20091009
adamc@988 19 ========
adamc@988 20
adamc@988 21 - Bug fixes
adamc@988 22 - Improvement to choice of line number to cite in record unification error
adamc@988 23 messages
adamc@994 24 - SELECT DISTINCT
adamc@996 25 - New extra demos: orm1 and versioned1
adamc@988 26
adamc@985 27 ========
adamc@985 28 20090926
adamc@985 29 ========
adamc@985 30
adamc@985 31 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 32 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 33 optimization of tail calls and occasional bugs in closure handling.
adamc@985 34 - Bug fixes
adamc@985 35
adamc@968 36 ========
adamc@968 37 20090919
adamc@968 38 ========
adamc@968 39
adamc@968 40 - Bug fixes
adamc@968 41 - Optimization improvements
adamc@968 42 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 43 paging, selecting rows, aggregate row
adamc@968 44
adamc@929 45 ========
adamc@929 46 20090912
adamc@929 47 ========
adamc@929 48
adamc@929 49 - Bug fixes
adamc@929 50 - Optimization improvements
adamc@929 51 - New set of extra demos in demo/more
adamc@929 52
adamc@914 53 ========
adamc@914 54 20090825
adamc@914 55 ========
adamc@914 56
adamc@914 57 - Many bug fixes
adamc@914 58 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 59 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 60
adamc@897 61 ========
adamc@897 62 20090718
adamc@897 63 ========
adamc@897 64
adamc@897 65 - New application protocols: CGI and FastCGI
adamc@897 66 - New database backends: MySQL and SQLite
adamc@897 67 - More JavaScript events added to tags in standard library
adamc@897 68 - New manual section on using the foreign function interface (FFI)
adamc@897 69
adamc@852 70 ========
adamc@852 71 20090623
adamc@852 72 ========
adamc@852 73
adamc@852 74 - Many bug fixes
adamc@852 75 - Mutually-recursive datatypes
adamc@852 76 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 77 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 78 value-level functions, to support the previous change
adamc@852 79 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 80 - Start of some new standard library modules
adamc@852 81 - Some improvements to JavaScript runtime, including better error handling
adamc@852 82
adamc@716 83 ========
adamc@790 84 20090505
adamc@716 85 ========
adamc@716 86
adamc@716 87 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 88 - SQL table constraints
adamc@770 89 - URLs
adamc@736 90 - Client-side error handling callbacks
adamc@736 91 - CSS
adamc@736 92 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 93 - Blobs and HTTP file upload
adamc@752 94 - SQL outer joins
adamc@755 95 - SQL views
adamc@756 96 - Subforms
adamc@768 97 - C and JavaScript FFI
adamc@768 98 - Path rewriting
adamc@716 99
adamc@702 100 ========
adamc@702 101 20090405
adamc@702 102 ========
adamc@702 103
adamc@702 104 - Asynchronous message-passing and the associated server-side client
adamc@702 105 bookkeeping
adamc@702 106 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 107 - spawn and sleep
adamc@702 108 - Expand the constructor class instance rule format
adamc@702 109
adamc@663 110 ========
adamc@663 111 20090312
adamc@663 112 ========
adamc@663 113
adamc@663 114 - Replace type-level "fold" with "map"
adamc@663 115 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 116 supported by some special compiler inference
adamc@663 117 - Replace guarded constructors with guarded types, introduced only by
adamc@663 118 guarded expression abstraction, and with a new explicit application form
adamc@663 119 - Kind polymorphism
adamc@663 120 - Generalize type classes to constructor classes
adamc@663 121 - Initial compilation of client-side code to JavaScript
adamc@663 122 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 123 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 124
adamc@506 125 ========
adamc@561 126 20081209
adamc@506 127 ========
adamc@506 128
adamc@506 129 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 130 - Optimization of bottleneck compiler phases
adamc@561 131 - Reference manual
adamc@561 132 - SQL arithmetic operators
adamc@506 133
adamc@504 134 ========
adamc@504 135 20081120
adamc@504 136 ========
adamc@504 137
adamc@504 138 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 139 - Take advantage of nested functions in some demos
adamc@504 140 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 141 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 142 prose
adamc@504 143
adamc@467 144 ========
adamc@497 145 20081118
adamc@467 146 ========
adamc@467 147
adamc@467 148 - Nested function definitions
adamc@467 149 - Primitive "time" type
adamc@467 150 - Nullable SQL columns (via "option")
adamc@467 151 - Cookies
adamc@663 152 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 153 function type)
adamc@467 154
adamc@435 155 ========
adamc@435 156 20081028
adamc@435 157 ========
adamc@435 158
adamc@435 159 - Add GCCARGS configure option
adamc@435 160
adamc@433 161 ========
adamc@433 162 20081027
adamc@433 163 ========
adamc@433 164
adamc@433 165 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 166 - Remove need for "() <-" notation.
adamc@433 167
adamc@433 168 ========
adamc@433 169 20081026
adamc@433 170 ========
adamc@433 171
adamc@433 172 - Change 'sed' call to work on OSX.
adamc@433 173 - Avoid including or linking libpq files on apps that don't use SQL.