Mercurial > urweb

annotate CHANGELOG @ 983:2cd8c1aa0d3a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add tail call optimization to interpretation
author Adam Chlipala <adamc@hcoop.net>
date Thu, 24 Sep 2009 15:45:37 -0400
parents b8048f6e25ef
children 28bf725de7f3
rev   line source
adamc@968 1 ========
adamc@968 2 20090919
adamc@968 3 ========
adamc@968 4
adamc@968 5 - Bug fixes
adamc@968 6 - Optimization improvements
adamc@968 7 - Expanded grid demo in demo/more: optional columns, sorting, filtering,
adamc@968 8 paging, selecting rows, aggregate row
adamc@968 9
adamc@929 10 ========
adamc@929 11 20090912
adamc@929 12 ========
adamc@929 13
adamc@929 14 - Bug fixes
adamc@929 15 - Optimization improvements
adamc@929 16 - New set of extra demos in demo/more
adamc@929 17
adamc@914 18 ========
adamc@914 19 20090825
adamc@914 20 ========
adamc@914 21
adamc@914 22 - Many bug fixes
adamc@914 23 - Remote procedure calls must be marked with the new 'rpc' function.
adamc@914 24 - Some tweaks to enable usage on OSX (suggested by Paul Snively)
adamc@914 25
adamc@897 26 ========
adamc@897 27 20090718
adamc@897 28 ========
adamc@897 29
adamc@897 30 - New application protocols: CGI and FastCGI
adamc@897 31 - New database backends: MySQL and SQLite
adamc@897 32 - More JavaScript events added to tags in standard library
adamc@897 33 - New manual section on using the foreign function interface (FFI)
adamc@897 34
adamc@852 35 ========
adamc@852 36 20090623
adamc@852 37 ========
adamc@852 38
adamc@852 39 - Many bug fixes
adamc@852 40 - Mutually-recursive datatypes
adamc@852 41 - SML-style pattern-matching syntax for "fun", "fn", and local "val"
adamc@852 42 - Backwards-incompatible change to syntax of formal constructor parameters to
adamc@852 43 value-level functions, to support the previous change
adamc@852 44 - Path map support inspired by SML/NJ CM and MLton ML Basis
adamc@852 45 - Start of some new standard library modules
adamc@852 46 - Some improvements to JavaScript runtime, including better error handling
adamc@852 47
adamc@716 48 ========
adamc@790 49 20090505
adamc@716 50 ========
adamc@716 51
adamc@716 52 - Reimplement constructor class resolution to be more general and Prolog-like
adamc@716 53 - SQL table constraints
adamc@770 54 - URLs
adamc@736 55 - Client-side error handling callbacks
adamc@736 56 - CSS
adamc@736 57 - Signing cookie values cryptographically to thwart cross site request forgery
adamc@744 58 - Blobs and HTTP file upload
adamc@752 59 - SQL outer joins
adamc@755 60 - SQL views
adamc@756 61 - Subforms
adamc@768 62 - C and JavaScript FFI
adamc@768 63 - Path rewriting
adamc@716 64
adamc@702 65 ========
adamc@702 66 20090405
adamc@702 67 ========
adamc@702 68
adamc@702 69 - Asynchronous message-passing and the associated server-side client
adamc@702 70 bookkeeping
adamc@702 71 - Reimplement parts of the client-side runtime system to avoid space leaks
adamc@702 72 - spawn and sleep
adamc@702 73 - Expand the constructor class instance rule format
adamc@702 74
adamc@663 75 ========
adamc@663 76 20090312
adamc@663 77 ========
adamc@663 78
adamc@663 79 - Replace type-level "fold" with "map"
adamc@663 80 - Replace expression-level "fold" with folders, defined in Top and
adamc@663 81 supported by some special compiler inference
adamc@663 82 - Replace guarded constructors with guarded types, introduced only by
adamc@663 83 guarded expression abstraction, and with a new explicit application form
adamc@663 84 - Kind polymorphism
adamc@663 85 - Generalize type classes to constructor classes
adamc@663 86 - Initial compilation of client-side code to JavaScript
adamc@663 87 - Initial support for mixed client- and server-side programming (i.e., "AJAX")
adamc@665 88 - src/coq: Coq formalization of a core Ur-like calculus
adamc@663 89
adamc@506 90 ========
adamc@561 91 20081209
adamc@506 92 ========
adamc@506 93
adamc@506 94 - Optimization: Fusing page writes with calls to recursive functions
adamc@523 95 - Optimization of bottleneck compiler phases
adamc@561 96 - Reference manual
adamc@561 97 - SQL arithmetic operators
adamc@506 98
adamc@504 99 ========
adamc@504 100 20081120
adamc@504 101 ========
adamc@504 102
adamc@504 103 - Fix bug that sometimes led to omission of initial "<html>" in pages
adamc@504 104 - Take advantage of nested functions in some demos
adamc@504 105 - "profile" option that may appear in .urp files, to enable gprof profiling
adamc@663 106 - "-guided-demo" option that works like "-demo" but uses less screen space for
adamc@663 107 prose
adamc@504 108
adamc@467 109 ========
adamc@497 110 20081118
adamc@467 111 ========
adamc@467 112
adamc@467 113 - Nested function definitions
adamc@467 114 - Primitive "time" type
adamc@467 115 - Nullable SQL columns (via "option")
adamc@467 116 - Cookies
adamc@663 117 - Compiler: Specialization of functions to known arguments (especially of
adamc@663 118 function type)
adamc@467 119
adamc@435 120 ========
adamc@435 121 20081028
adamc@435 122 ========
adamc@435 123
adamc@435 124 - Add GCCARGS configure option
adamc@435 125
adamc@433 126 ========
adamc@433 127 20081027
adamc@433 128 ========
adamc@433 129
adamc@433 130 - On missing inputs, print an error message, but don't exit the web server.
adamc@434 131 - Remove need for "() <-" notation.
adamc@433 132
adamc@433 133 ========
adamc@433 134 20081026
adamc@433 135 ========
adamc@433 136
adamc@433 137 - Change 'sed' call to work on OSX.
adamc@433 138 - Avoid including or linking libpq files on apps that don't use SQL.