Mercurial > urweb

annotate CHANGELOG @ 1074:d89f98f0b4bb

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