Nikolay Yakimov 1a302707b3 Fix case-split spec for 706

2016-07-10 17:46:53 +03:00

..

Crash.hs

Testcase for case-split crash

2016-03-15 23:33:28 +03:00

Vect706.hs

Fix case-split spec for 706

2016-07-10 17:46:53 +03:00

Vect.hs

Support where clauses, let bindings and case expressions in case splitting (fixes #395)

2014-11-03 00:15:12 +01:00