annotate CHANGELOG @ 1180:ac3dbbc85c6e

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