annotate CHANGELOG @ 995:166ea3944b91

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