| #
9c463dbc |
|
14-Oct-2018 |
Thomas Tuerk <thomas@tuerk-brechen.de> |
fix bit-rot in pattern_match_demo
|
| #
bd77b8fb |
|
20-Oct-2015 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Delete trailing whitespace
|
| #
4672d2f0 |
|
18-Feb-2013 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
added trace "pp_cases" that allows to turn pretty-printing for case-expressions off
|
| #
be58d73a |
|
15-Feb-2013 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
execute several heuristics for pattern-matching and choose the best result
interface of pattern matching simplified
|
| #
804f9ee4 |
|
10-Feb-2013 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
adaptation to changes in pattern matching
|
| #
0f0c61b2 |
|
10-Feb-2013 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
implemented qba heurtic for pattern matching; don't do splits for which
lead to same result for all cases
|
| #
7cc76829 |
|
08-Feb-2013 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
started with writing more complex pattern match heuristics
|
| #
7816c334 |
|
08-Feb-2013 |
Thomas Tuerk <tt291@cl.cam.ac.uk> |
create branch to test new heuristics for pattern matching
|