annotate CHANGELOG @ 1257:fd1a49b51db5

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