log src/reduce.sml

age author description
2014-02-15 Adam Chlipala Use neverInline in reduce
2013-08-10 Adam Chlipala Expand coverage of 'functionInside' for Especialize
2013-04-16 Adam Chlipala Basis.tryRpc
2012-09-19 Adam Chlipala Paranoid inlining prevention for FFI types at the Core level; less paranoid inlining promotion for passive values at the Mono level
2012-08-05 Adam Chlipala Tweaking treatment of function application: substitute or introduce a 'let'?
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