log src/reduce_local.sml

age author description
2010-09-07 Adam Chlipala Server-side 'onError'
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
2010-06-13 Adam Chlipala Catch a missed ReduceLocal of field projection annotations
2010-06-05 Adam Chlipala Another run of Specialize, using ReduceLocal on datatype parameters
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-04-04 Adam Chlipala Pushing policies through
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-12-08 Adam Chlipala Shake bug fix; pattern reduction in ReduceLocal
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-09-17 Adam Chlipala Basic tail recursion introduction seems to be working
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-04-28 Adam Chlipala A view query works
2009-04-12 Adam Chlipala Classes as optional arguments to Basis.tag
2009-04-12 Adam Chlipala style declarations
2009-03-09 Adam Chlipala Conversion of functions to CPS, to facilitate ServerCall
2009-02-22 Adam Chlipala demo/hello compiles with kind polymorphism
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-15 Adam Chlipala First gimpy RPC
2009-02-14 Adam Chlipala Start of RPCification
2008-11-26 Adam Chlipala Port Reduce improvements to ReduceLocal
2008-11-09 Adam Chlipala Especialize working reasonably well; need to add new closure representation pass