annotate CHANGELOG @ 1127:f93dc2ea30c1

Update manual for last two changesets
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 Jan 2010 11:19:02 -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.