annotate CHANGELOG @ 1020:dfe34fad749d

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