annotate CHANGELOG @ 1017:34ba25d6af3b

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