Mercurial > urweb

annotate CHANGELOG @ 1540:659a2f71f5e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Compiler frees as much memory as possible before passing control to C compiler
author Adam Chlipala <adam@chlipala.net>
date Mon, 15 Aug 2011 11:26:10 -0400
parents 52fbd8534ef3
children 3b57a6ddef1a
rev   line source
adam@1509 1 ========
adam@1509 2 Next
adam@1509 3 ========
adam@1509 4
adam@1509 5 - Start of official tutorial
adam@1509 6 - Compiler support for generating nice tutorial HTML from literate source files
adam@1509 7 - New protocol 'static' for generating static pages
adam@1523 8 - Replace GCCARGS configure variable with CCARGS
adam@1523 9 - Applications consult URWEB_STACK_SIZE environment variable to determine thread
adam@1523 10 stack size
adam@1509 11 - Bug fixes
adam@1509 12
adam@1492 13 ========
adam@1492 14 20110715
adam@1492 15 ========
adam@1492 16
adam@1492 17 - Treat local variables the same as module-level variables, for the purpose of
adam@1492 18 implicit argument insertion
adam@1492 19 - New 'noXsrfProtection' directive for .urp files
adam@1492 20 - Non-debug builds omit source location information in error messages shown to
adam@1492 21 the user (but keep that information in log entries)
adam@1492 22 - Basis.getHeader and Basis.setHeader
adam@1492 23 - Basis.show_css_class
adam@1492 24 - Basis.currentUrlHasQueryString
adam@1492 25 - Make Basis.rand cryptographically secure
adam@1492 26 - Client-side versions of Basis.now and Basis.show_time
adam@1492 27 - Bug fixes
adam@1492 28 - Improvements to auto-configuration and build process (now builds with LLVM's
adam@1492 29 Clang!)
adam@1492 30 - Clarifications in the manual
adam@1492 31
adam@1458 32 ========
adam@1460 33 20110517
adam@1458 34 ========
adam@1458 35
adam@1458 36 - Cygwin compatibility
adam@1458 37 - Compatibility with Gentoo packaging process, including a .ebuild file
adam@1458 38 - Change typing of SQL subqueries, to indicate that they may always return NULL
adam@1458 39 (for no rows)
adam@1458 40 - Syntactic sugar for GROUP BY with variable numbers of columns
adam@1458 41 (using 'tab.{{c}}', where 'c :: {Type}')
adam@1458 42 - 'ALL' for SQL relational operators
adam@1458 43 - Add nullable types to the class for valid operands for SQL arithmetic
adam@1458 44 - 'alt' attribute for <img>
adam@1458 45 - <sup> and <sub> HTML tags
adam@1458 46 - Allow 'debug' and 'naughtyDebug' in client-side code, implemented with 'alert'
adam@1458 47 - Bug fixes and optimization improvements
adam@1458 48
adam@1400 49 ========
adam@1414 50 20110123
adam@1400 51 ========
adam@1400 52
adam@1400 53 - Changes to encoding of SQL aggregate functions: nullable types may be
adam@1400 54 aggregated, and non-COUNT aggregates return nullable results.
adam@1400 55 - SQL subqueries may apply aggregate functions to columns bound in enclosing
adam@1400 56 queries.
adam@1400 57 - Switch from libmhash to OpenSSL.
adam@1400 58 - 'cdataChar', for injecting arbitrary character codes into XML
adam@1400 59 - 'crypt', for access to the standard UNIX password encryption routine
adam@1400 60 - 'readUtc', for parsing time strings in the UTC time zone
adam@1400 61 - Built-in 'time' type now stores microseconds (which for now are only used in
adam@1400 62 connection with Postgres timestamps).
adam@1400 63 - Client-side URL blessing and redirection
adam@1400 64 - 'currentUrlHasPost' function
adam@1400 65 - Transactional 'free' functions now passed an argument indicating whether the
adam@1400 66 runtime system expects to retry the transaction.
adam@1400 67 - Change tasks to allow task kind-specific inputs
adam@1400 68 - Add 'clientLeaves' and 'periodic' task kinds
adam@1400 69 - Support for externally-callable pages, via the 'postBody' and 'queryString'
adam@1400 70 types and the 'effectfulUrl' function
adam@1400 71 - 'minHeap' and 'alwaysInline' .urp options
adam@1400 72 - '-prefix' command-line option
adam@1400 73 - Comments in .urp files (lines starting with '#')
adam@1400 74 - Miscellaneous additions to the standard library
adam@1400 75 - Bug fixes and improvements to type inference and optimization
adam@1400 76
adam@1287 77 ========
adam@1315 78 20101102
adam@1287 79 ========
adam@1287 80
adam@1287 81 - Polymorphic variants (see Basis.variant)
adam@1297 82 - New 'onError' directive for .urp files
adam@1287 83 - (* *) and <!-- --> comments in XML
adam@1297 84 - Basis.classes, Basis.confirm, and Basis.tryDml
adam@1309 85 - New notations ::_ and :::_, for constructor parameters of unknown kind
adam@1297 86 - Invocations like 'urweb foo' will compile foo.ur as a single-file project,
adam@1297 87 even if no foo.urp exists
adam@1309 88 - '-limit' command-line flag and 'limit' .urp directive
adam@1297 89 - Bug fixes and optimization improvements
adam@1287 90
adamc@1259 91 ========
adamc@1273 92 20100603
adamc@1259 93 ========
adamc@1259 94
adamc@1259 95 - Changed URL escaping convention, to avoid confusing proxies.
adamc@1259 96 The new convention is like the normal one, but with '.' instead of '%'.
adamc@1261 97 - Changed JavaScript compilation of recursive functions to use thunks.
adamc@1261 98 This change avoids most costs of functions not referenced on particular
adamc@1261 99 pages, reducing loading time dramatically.
adamc@1273 100 - Support HTTP caching of application-specific JavaScript code
adamc@1273 101 - Bug fixes
adamc@1259 102
adamc@1255 103 ========
adamc@1255 104 20100506
adamc@1255 105 ========
adamc@1255 106
adamc@1255 107 - New experimental checker for information flow and access control policies
adamc@1255 108 (See demo at http://www.impredicative.com/ur/scdv/)
adamc@1255 109
adamc@1197 110 ========
adamc@1197 111 20100401
adamc@1197 112 ========
adamc@1197 113
adamc@1197 114 - Subquery expressions and FROM items
adamc@1197 115 - Low-level support for SELECT with no FROM clause
adamc@1197 116 - Fixes for DBMS-portability of relational operators
adamc@1197 117
adamc@1183 118 ========
adamc@1190 119 20100325
adamc@1183 120 ========
adamc@1183 121
adamc@1188 122 - -verbose flag
adamc@1188 123 - COUNT(col) SQL aggregate function
adamc@1188 124 - 'benignEffectful' and 'safeGet' .urp commands
adamc@1188 125 - Remove Basis.getRequestHeader, since it can be used to circumvent cookie
adamc@1188 126 security
adamc@1190 127 - Rename Top.foldR*X to map*X
adamc@1188 128 - Bug fixes and optimization improvements
adamc@1183 129
adamc@1166 130 ========
adamc@1166 131 20100213
adamc@1166 132 ========
adamc@1166 133
adamc@1166 134 - Improvements to 'configure'; should now fail if any uncommon but required
adamc@1166 135 package is missing
adamc@1166 136 - Other fixes to configuration, build system, and C code portability
adamc@1166 137 - sigfile .urp directive & -sigfile command-line option
adamc@1166 138 - .urp files with no directives no longer need to begin with blank lines.
adamc@1166 139 - Other bug fixes
adamc@1166 140
adamc@1137 141 ========
adamc@1137 142 20100130
adamc@1137 143 ========
adamc@1137 144
adamc@1137 145 - Conversion to an Automake-based build system, for greater portability in
adamc@1137 146 building shared libraries
adamc@1137 147 - -path and -root command-line flags
adamc@1137 148 - Exported page handling functions (i.e., those page-generating functions
adamc@1137 149 appearing in the main module's signature) may now take any number of
adamc@1137 150 arguments, including 0.
adamc@1137 151
adamc@1123 152 ========
adamc@1123 153 20100112
adamc@1123 154 ========
adamc@1123 155
adamc@1123 156 - Basis.serialized type family, for storing more types in the database
adamc@1123 157 - Basis.textBlob, for building blobs from strings
adamc@1123 158 - Basis.debug function, for server-side debug printing
adamc@1123 159 - Bug fixes & optimization improvements
adamc@1123 160
adamc@1065 161 ========
adamc@1103 162 20091230
adamc@1065 163 ========
adamc@1065 164
adamc@1093 165 - Automatic insertion of implicit arguments in more positions
adamc@1065 166 - Reifying expressions as URLs and redirecting to them explicitly
adamc@1070 167 - More syntactic sugar for SQL
adamc@1070 168 - Typing of SQL queries no longer exposes which tables were used in joins but
adamc@1070 169 had none of their fields projected
adamc@1075 170 - Tasks
adamc@1095 171 - Dynamic linking of the runtime system
adamc@1077 172 - Optimization improvements
adamc@1103 173 - Bug fixes
adamc@1065 174
adamc@1050 175 ========
adamc@1056 176 20091203
adamc@1050 177 ========
adamc@1050 178
adamc@1050 179 - Extended cookie interface (breaks backward compatibility for 'setCookie')
adamc@1050 180 - Bug fixes
adamc@1056 181 - Extended UTF-8 characters in HTML
adamc@1050 182
adamc@1043 183 ========
adamc@1043 184 20091124
adamc@1043 185 ========
adamc@1043 186
adamc@1043 187 - Improved Internet Explorer compatibility
adamc@1043 188
adamc@1020 189 ========
adamc@1033 190 20091108
adamc@1020 191 ========
adamc@1020 192
adamc@1020 193 - Bug fixes
adamc@1020 194 - Optimization improvements
adamc@1021 195 - Removed a restriction that prevented some RPCs and calls to sleep or recv
adamc@1021 196 from compiling
adamc@1020 197
adamc@999 198 ========
adamc@999 199 20091012
adamc@999 200 ========
adamc@999 201
adamc@999 202 - Small bug fixes affecting MySQL and SQLite
adamc@999 203
adamc@988 204 ========
adamc@997 205 20091009
adamc@988 206 ========
adamc@988 207
adamc@988 208 - Bug fixes
adamc@988 209 - Improvement to choice of line number to cite in record unification error
adamc@988 210 messages
adamc@994 211 - SELECT DISTINCT
adamc@996 212 - New extra demos: orm1 and versioned1
adamc@988 213
adamc@985 214 ========
adamc@985 215 20090926
adamc@985 216 ========
adamc@985 217
adamc@985 218 - Reimplemented client-side code generation to use an interpreter, rather than
adamc@985 219 compilation to JavaScript; this avoids common browser flaws: lack of
adamc@985 220 optimization of tail calls and occasional bugs in closure handling.
adamc@985 221 - Bug fixes
adamc@985 222
adamc@968 223 ========
adamc@968 224 20090919
adamc@968 225 ========
adamc@968 226
adamc@968 227 - Bug fixes
adamc@968 228 - Optimization improvements
adamc@968 229 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 230 paging, selecting rows, aggregate row
adamc@968 231
adamc@929 232 ========
adamc@929 233 20090912
adamc@929 234 ========
adamc@929 235
adamc@929 236 - Bug fixes
adamc@929 237 - Optimization improvements
adamc@929 238 - New set of extra demos in demo/more
adamc@929 239
adamc@914 240 ========
adamc@914 241 20090825
adamc@914 242 ========
adamc@914 243
adamc@914 244 - Many bug fixes
adamc@914 245 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 246 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 247
adamc@897 248 ========
adamc@897 249 20090718
adamc@897 250 ========
adamc@897 251
adamc@897 252 - New application protocols: CGI and FastCGI
adamc@897 253 - New database backends: MySQL and SQLite
adamc@897 254 - More JavaScript events added to tags in standard library
adamc@897 255 - New manual section on using the foreign function interface (FFI)
adamc@897 256
adamc@852 257 ========
adamc@852 258 20090623
adamc@852 259 ========
adamc@852 260
adamc@852 261 - Many bug fixes
adamc@852 262 - Mutually-recursive datatypes
adamc@852 263 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 264 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 265 value-level functions, to support the previous change
adamc@852 266 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 267 - Start of some new standard library modules
adamc@852 268 - Some improvements to JavaScript runtime, including better error handling
adamc@852 269
adamc@716 270 ========
adamc@790 271 20090505
adamc@716 272 ========
adamc@716 273
adamc@716 274 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 275 - SQL table constraints
adamc@770 276 - URLs
adamc@736 277 - Client-side error handling callbacks
adamc@736 278 - CSS
adamc@736 279 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 280 - Blobs and HTTP file upload
adamc@752 281 - SQL outer joins
adamc@755 282 - SQL views
adamc@756 283 - Subforms
adamc@768 284 - C and JavaScript FFI
adamc@768 285 - Path rewriting
adamc@716 286
adamc@702 287 ========
adamc@702 288 20090405
adamc@702 289 ========
adamc@702 290
adamc@702 291 - Asynchronous message-passing and the associated server-side client
adamc@702 292 bookkeeping
adamc@702 293 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 294 - spawn and sleep
adamc@702 295 - Expand the constructor class instance rule format
adamc@702 296
adamc@663 297 ========
adamc@663 298 20090312
adamc@663 299 ========
adamc@663 300
adamc@663 301 - Replace type-level "fold" with "map"
adamc@663 302 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 303 supported by some special compiler inference
adamc@663 304 - Replace guarded constructors with guarded types, introduced only by
adamc@663 305 guarded expression abstraction, and with a new explicit application form
adamc@663 306 - Kind polymorphism
adamc@663 307 - Generalize type classes to constructor classes
adamc@663 308 - Initial compilation of client-side code to JavaScript
adamc@663 309 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 310 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 311
adamc@506 312 ========
adamc@561 313 20081209
adamc@506 314 ========
adamc@506 315
adamc@506 316 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 317 - Optimization of bottleneck compiler phases
adamc@561 318 - Reference manual
adamc@561 319 - SQL arithmetic operators
adamc@506 320
adamc@504 321 ========
adamc@504 322 20081120
adamc@504 323 ========
adamc@504 324
adamc@504 325 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 326 - Take advantage of nested functions in some demos
adamc@504 327 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 328 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 329 prose
adamc@504 330
adamc@467 331 ========
adamc@497 332 20081118
adamc@467 333 ========
adamc@467 334
adamc@467 335 - Nested function definitions
adamc@467 336 - Primitive "time" type
adamc@467 337 - Nullable SQL columns (via "option")
adamc@467 338 - Cookies
adamc@663 339 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 340 function type)
adamc@467 341
adamc@435 342 ========
adamc@435 343 20081028
adamc@435 344 ========
adamc@435 345
adamc@435 346 - Add GCCARGS configure option
adamc@435 347
adamc@433 348 ========
adamc@433 349 20081027
adamc@433 350 ========
adamc@433 351
adamc@433 352 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 353 - Remove need for "() <-" notation.
adamc@433 354
adamc@433 355 ========
adamc@433 356 20081026
adamc@433 357 ========
adamc@433 358
adamc@433 359 - Change 'sed' call to work on OSX.
adamc@433 360 - Avoid including or linking libpq files on apps that don't use SQL.