view CHANGELOG @ 665:910bf013da4a

Mention src/coq in CHANGELOG
author Adam Chlipala <>
date Thu, 12 Mar 2009 12:37:02 -0400
parents bddf0da18db6
children 5b8617b73540
line wrap: on
line source

- Replace type-level "fold" with "map"
- Replace expression-level "fold" with folders, defined in Top and
  supported by some special compiler inference
- Replace guarded constructors with guarded types, introduced only by
  guarded expression abstraction, and with a new explicit application form
- Kind polymorphism
- Generalize type classes to constructor classes
- Initial compilation of client-side code to JavaScript
- Initial support for mixed client- and server-side programming (i.e., "AJAX")
- src/coq: Coq formalization of a core Ur-like calculus


- Optimization: Fusing page writes with calls to recursive functions
- Optimization of bottleneck compiler phases
- Reference manual
- SQL arithmetic operators


- Fix bug that sometimes led to omission of initial "<html>" in pages
- Take advantage of nested functions in some demos
- "profile" option that may appear in .urp files, to enable gprof profiling
- "-guided-demo" option that works like "-demo" but uses less screen space for


- Nested function definitions
- Primitive "time" type
- Nullable SQL columns (via "option")
- Cookies
- Compiler: Specialization of functions to known arguments (especially of
  function type)


- Add GCCARGS configure option


- On missing inputs, print an error message, but don't exit the web server.
- Remove need for "() <-" notation.


- Change 'sed' call to work on OSX.
- Avoid including or linking libpq files on apps that don't use SQL.