Mercurial > urweb

annotate CHANGELOG @ 991:b132f8620a66

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