Mercurial > urweb

annotate CHANGELOG @ 1132:d4cd54a4ea06

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