Mercurial > urweb

annotate CHANGELOG @ 1044:0d916892e39e

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