index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
reduce.sml
Commit message (
Expand
)
Author
Age
*
Tweaking treatment of function application: substitute or introduce a 'let'?
Adam Chlipala
2012-08-05
*
First part of changes to avoid depending on C function call argument order of...
Adam Chlipala
2012-01-07
*
Basis.mkMonad
Adam Chlipala
2011-08-19
*
Remove some unnecessary parens
Adam Chlipala
2011-08-14
*
Distribute applications of "arrow type" ECase across branches.
Karn Kallio
2011-08-11
*
Fixes for nasty bugs in Reduce and Especialize
Adam Chlipala
2010-10-19
*
Server-side 'onError'
Adam Chlipala
2010-09-07
*
Reduce: Inline let-bound variables whose types involve functions
Adam Chlipala
2010-08-22
*
Some serious bug-fix work to get HTML example to compile; this includes fixin...
Adam Chlipala
2010-06-03
*
'also' policies and policy reduction; calendar in good shape
Adam Chlipala
2010-04-15
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Got split1 working, but noticed a nasty type inference bug with transplanted ...
Adam Chlipala
2010-03-06
*
Dead code elimination in Reduce code
Adam Chlipala
2010-03-04
*
Tone down Reduce and compensate with a new push-lambda-inside-case rule in Mo...
Adam Chlipala
2010-03-02
*
Reduce concatenations of the empty record; unpoly non-recursive functions
Adam Chlipala
2010-01-10
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Initializers and setval
Adam Chlipala
2009-12-13
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
*
Always inline records
Adam Chlipala
2009-10-25
*
Inlining threshold for Reduce
Adam Chlipala
2009-10-25
*
tail example working
Adam Chlipala
2009-09-17
*
Basic tail recursion introduction seems to be working
Adam Chlipala
2009-09-17
*
Escape character constants; lift indices properly in Reduce 'case' simplifica...
Adam Chlipala
2009-09-15
*
Have nullable columns working with Dbgrid
Adam Chlipala
2009-09-13
*
Nullable columns *might* be working, but too much JS is generated for the pag...
Adam Chlipala
2009-09-12
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
*
Fixed bug in reduce bind-commutation
Adam Chlipala
2009-08-22
*
Convert to requiring explicit 'rpc' marker
Adam Chlipala
2009-08-22
*
Demo compiles with pattern-matching-fu
Adam Chlipala
2009-05-28
*
Mutual datatypes through Effectize
Adam Chlipala
2009-05-16
*
A view query works
Adam Chlipala
2009-04-28
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
style declarations
Adam Chlipala
2009-04-12
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
demo/hello compiles with kind polymorphism
Adam Chlipala
2009-02-22
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
First gimpy RPC
Adam Chlipala
2009-02-15
*
Start of RPCification
Adam Chlipala
2009-02-14
*
crud1 compiles with new Reduce
Adam Chlipala
2008-11-26
*
Fix environments for repeat visits for exp reduction
Adam Chlipala
2008-11-26
*
Most exp rules for new Reduce
Adam Chlipala
2008-11-26
*
Start of new Reduce
Adam Chlipala
2008-11-26
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
*
Especialize
Adam Chlipala
2008-10-30
*
Fix nasty de Bruijn substitution bug; TcSum demo
Adam Chlipala
2008-10-23
*
Crud supports INSERT
Adam Chlipala
2008-09-14
[next]