summaryrefslogtreecommitdiff
path: root/src/reduce.sml
Commit message (Collapse)AuthorAge
* Use neverInline in reduceGravatar Adam Chlipala2014-02-15
|
* Expand coverage of 'functionInside' for EspecializeGravatar Adam Chlipala2013-08-10
|
* Basis.tryRpcGravatar Adam Chlipala2013-04-16
|
* Paranoid inlining prevention for FFI types at the Core level; less paranoid ↵Gravatar Adam Chlipala2012-09-19
| | | | inlining promotion for passive values at the Mono level
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* Revert last changeset for now; needs more thoughtGravatar Adam Chlipala2012-08-05
|
* Tweaking treatment of function application: substitute or introduce a 'let'?Gravatar Adam Chlipala2012-08-05
|
* First part of changes to avoid depending on C function call argument order ↵Gravatar Adam Chlipala2012-01-07
| | | | of evaluation (omitting normal Ur function calls, so far)
* Basis.mkMonadGravatar Adam Chlipala2011-08-19
|
* Remove some unnecessary parensGravatar Adam Chlipala2011-08-14
|
* Distribute applications of "arrow type" ECase across branches.Gravatar Karn Kallio2011-08-11
|
* Fixes for nasty bugs in Reduce and EspecializeGravatar Adam Chlipala2010-10-19
|
* Server-side 'onError'Gravatar Adam Chlipala2010-09-07
|
* Reduce: Inline let-bound variables whose types involve functionsGravatar Adam Chlipala2010-08-22
|
* Some serious bug-fix work to get HTML example to compile; this includes ↵Gravatar Adam Chlipala2010-06-03
| | | | fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
* 'also' policies and policy reduction; calendar in good shapeGravatar Adam Chlipala2010-04-15
|
* Pushing policies throughGravatar Adam Chlipala2010-04-04
|
* Got split1 working, but noticed a nasty type inference bug with transplanted ↵Gravatar Adam Chlipala2010-03-06
| | | | unification variables
* Dead code elimination in Reduce codeGravatar Adam Chlipala2010-03-04
|
* Tone down Reduce and compensate with a new push-lambda-inside-case rule in ↵Gravatar Adam Chlipala2010-03-02
| | | | MonoOpt; expand more Basis synonyms in Monoize
* Reduce concatenations of the empty record; unpoly non-recursive functionsGravatar Adam Chlipala2010-01-10
|
* Convert to task syntaxGravatar Adam Chlipala2009-12-15
|
* Initializers and setvalGravatar Adam Chlipala2009-12-13
|
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
|
* Always inline recordsGravatar Adam Chlipala2009-10-25
|
* Inlining threshold for ReduceGravatar Adam Chlipala2009-10-25
|
* tail example workingGravatar Adam Chlipala2009-09-17
|
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17
|
* Escape character constants; lift indices properly in Reduce 'case' ↵Gravatar Adam Chlipala2009-09-15
| | | | simplification
* Have nullable columns working with DbgridGravatar Adam Chlipala2009-09-13
|
* Nullable columns *might* be working, but too much JS is generated for the ↵Gravatar Adam Chlipala2009-09-12
| | | | page to load in finite time
* grid1 compiles but gets stuck in JSGravatar Adam Chlipala2009-08-25
|
* Fixed bug in reduce bind-commutationGravatar Adam Chlipala2009-08-22
|
* Convert to requiring explicit 'rpc' markerGravatar Adam Chlipala2009-08-22
|
* Demo compiles with pattern-matching-fuGravatar Adam Chlipala2009-05-28
|
* Mutual datatypes through EffectizeGravatar Adam Chlipala2009-05-16
|
* A view query worksGravatar Adam Chlipala2009-04-28
|
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
|
* style declarationsGravatar Adam Chlipala2009-04-12
|
* PRIMARY KEYGravatar Adam Chlipala2009-04-07
|
* Track uniqueness sets in table typesGravatar Adam Chlipala2009-04-07
|
* UNIQUE constraintsGravatar Adam Chlipala2009-04-07
|
* demo/hello compiles with kind polymorphismGravatar Adam Chlipala2009-02-22
|
* Start of kind polymorphism, up to the point where demo/hello elaborates with ↵Gravatar Adam Chlipala2009-02-22
| | | | updated Basis/Top
* "Hello world" compiles, after replacing type-level fold with mapGravatar Adam Chlipala2009-02-21
|
* First gimpy RPCGravatar Adam Chlipala2009-02-15
|
* Start of RPCificationGravatar Adam Chlipala2009-02-14
|
* crud1 compiles with new ReduceGravatar Adam Chlipala2008-11-26
|
* Fix environments for repeat visits for exp reductionGravatar Adam Chlipala2008-11-26
|
* Most exp rules for new ReduceGravatar Adam Chlipala2008-11-26
|