annotate CHANGELOG @ 1068:757dbac0454d

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