Mercurial > urweb

annotate CHANGELOG @ 1146:7fdea74b1dd9

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