log src/reduce.sml

age author description
2012-08-05 Adam Chlipala Revert last changeset for now; needs more thought
2012-08-05 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
2012-01-07 Adam Chlipala First part of changes to avoid depending on C function call argument order of evaluation (omitting normal Ur function calls, so far)
2011-08-19 Adam Chlipala Basis.mkMonad
2011-08-14 Adam Chlipala Remove some unnecessary parens
2011-08-12 Karn Kallio Distribute applications of "arrow type" ECase across branches.
2010-10-19 Adam Chlipala Fixes for nasty bugs in Reduce and Especialize
2010-09-07 Adam Chlipala Server-side 'onError'
2010-08-22 Adam Chlipala Reduce: Inline let-bound variables whose types involve functions
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-15 Adam Chlipala 'also' policies and policy reduction; calendar in good shape
2010-04-04 Adam Chlipala Pushing policies through
2010-03-07 Adam Chlipala Got split1 working, but noticed a nasty type inference bug with transplanted unification variables
2010-03-04 Adam Chlipala Dead code elimination in Reduce code
2010-03-02 Adam Chlipala Tone down Reduce and compensate with a new push-lambda-inside-case rule in MonoOpt; expand more Basis synonyms in Monoize
2010-01-10 Adam Chlipala Reduce concatenations of the empty record; unpoly non-recursive functions
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-10-25 Adam Chlipala RPC uses VM support for call/cc
2009-10-25 Adam Chlipala Always inline records
2009-10-25 Adam Chlipala Inlining threshold for Reduce
2009-09-17 Adam Chlipala tail example working
2009-09-17 Adam Chlipala Basic tail recursion introduction seems to be working
2009-09-15 Adam Chlipala Escape character constants; lift indices properly in Reduce 'case' simplification
2009-09-13 Adam Chlipala Have nullable columns working with Dbgrid
2009-09-12 Adam Chlipala Nullable columns *might* be working, but too much JS is generated for the page to load in finite time
2009-08-25 Adam Chlipala grid1 compiles but gets stuck in JS
2009-08-22 Adam Chlipala Fixed bug in reduce bind-commutation
2009-08-22 Adam Chlipala Convert to requiring explicit 'rpc' marker
2009-05-28 Adam Chlipala Demo compiles with pattern-matching-fu
2009-05-16 Adam Chlipala Mutual datatypes through Effectize
2009-04-28 Adam Chlipala A view query works
2009-04-12 Adam Chlipala Stop tracking CSS classes in XML types
2009-04-12 Adam Chlipala style declarations
2009-04-07 Adam Chlipala PRIMARY KEY
2009-04-07 Adam Chlipala Track uniqueness sets in table types
2009-04-07 Adam Chlipala UNIQUE constraints
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-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2009-02-15 Adam Chlipala First gimpy RPC
2009-02-14 Adam Chlipala Start of RPCification
2008-11-26 Adam Chlipala crud1 compiles with new Reduce
2008-11-26 Adam Chlipala Fix environments for repeat visits for exp reduction
2008-11-26 Adam Chlipala Most exp rules for new Reduce
2008-11-26 Adam Chlipala Start of new Reduce
2008-11-12 Adam Chlipala Add CutMulti
2008-10-31 Adam Chlipala Replace 'with' with '++'
2008-10-30 Adam Chlipala Especialize
2008-10-23 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-13 Adam Chlipala Remove unneeded 'rec' in Reduce
2008-09-11 Adam Chlipala Unpoly non-recursive function
2008-08-16 Adam Chlipala Compiling a con-tuple-using test case
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes
2008-07-24 Adam Chlipala Record cut
2008-07-17 Adam Chlipala MonoReduce
2008-07-13 Adam Chlipala Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
2008-06-26 Adam Chlipala Reduce efold
2008-06-26 Adam Chlipala Cjrize cfold
2008-06-22 Adam Chlipala Separate compilation and automatic basis importation
2008-06-10 Adam Chlipala Translation to Cjr
2008-06-10 Adam Chlipala Closure conversion
2008-06-08 Adam Chlipala Reducing known record projections
2008-06-08 Adam Chlipala Beta reductions for expressions
2008-06-08 Adam Chlipala Some con reducing