annotate CHANGELOG @ 1186:a4ac900d3085

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