Mercurial > urweb

annotate CHANGELOG @ 1070:e933297c4e24

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