summaryrefslogtreecommitdiff
path: root/test/files/neg/patmatexhaust.check
Commit message (Expand)AuthorAgeFilesLines
* SI-7746 patmat: fix non-determinism, infeasible counter examplesGerard Basler2014-10-051-1/+1
* Cull extraneous whitespace.Paul Phillips2013-09-181-1/+1
* Made -Xfatal-warnings less immediately fatal.Paul Phillips2012-08-101-11/+13
* Unreachability analysis for pattern matchesAdriaan Moors2012-06-011-1/+4
* don't check exhaustivity involving user-defined unapplySeqAdriaan Moors2012-05-281-5/+1
* Exhaustivity: TreeMakers as boolean propositionsAdriaan Moors2012-05-221-34/+21
* Finally figured out what was going on with a ce...Paul Phillips2011-05-061-1/+17
* Completely to my surprise, found that fixing al...Paul Phillips2011-04-301-12/+13
* Unreverting r23174. No review.Paul Phillips2010-10-061-1/+1
* Reverts r23174, which I believe will bring the ...Paul Phillips2010-10-041-1/+1
* Work on the pattern matcher.Paul Phillips2010-10-031-1/+1
* Tweaking the sealed logic in light of #3097.Paul Phillips2010-02-251-1/+1
* Fix and test cases for ticket #443.Paul Phillips2009-10-171-2/+7
* Starting on improving the abstraction level of ...David MacIver2008-11-131-0/+1
* fixed t335Burak Emir2008-01-041-1/+5
* optimizing irrefutable tuple matches and remove...Burak Emir2007-09-261-1/+1
* new pattern matching algoBurak Emir2007-03-221-14/+18
* more changes to make tuples (...)Martin Odersky2007-02-141-2/+2
* exhaustivity reworkedBurak Emir2007-02-051-4/+7
* matching: + exhaustivity check, warningsBurak Emir2007-02-021-0/+20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 13:17:29 +0000