Mercurial > urweb

annotate CHANGELOG @ 1077:a3273bee05a9

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