annotate CHANGELOG @ 1095:bed675db3aff

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