summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/nsc/transform/patmat
Commit message (Expand)AuthorAgeFilesLines
* Fix 23 typos (m-o)Janek Bogucki2015-06-281-1/+1
* Fix 36 typos (d-f)Janek Bogucki2015-06-212-2/+2
* Fix some typos (a-c)Janek Bogucki2015-06-181-1/+1
* SI-9343 Xlint less strict on pattern sequencesSom Snytt2015-06-031-2/+4
* Avoid `Set` instantiation.Gerard Basler2015-05-031-2/+1
* Patmat: efficient reasoning about mutual exclusionGerard Basler2015-04-063-41/+165
* Merge pull request #4370 from gbasler/ticket/SI-9181Adriaan Moors2015-04-063-66/+141
|\
| * Bring back improvements from `SI-6942` that were lost during the switch toGerard Basler2015-03-021-8/+30
| * Add a check to ensure that if the formulas originating from the exhaustivity /Gerard Basler2015-03-023-58/+111
* | SI-8731 don't issue a @switch warning for two-case matchesLukas Rytz2015-03-311-2/+0
|/
* Merge pull request #4274 from retronym/ticket/9123Adriaan Moors2015-02-091-0/+5
|\
| * SI-9123 More coherent trees with patmat, dependent typesJason Zaugg2015-01-291-0/+5
* | SI-7623 Trailing sequence wildcard warningSom Snytt2015-01-211-1/+3
|/
* Merge pull request #4201 from mpociecha/fix-typos-in-docs-and-commentsGrzegorz Kossakowski2015-01-144-4/+4
|\
| * Fix many typos in docs and commentsmpociecha2014-12-144-4/+4
* | Bugfix: Implement missing `equals` method for `Sym`.Gerard Basler2014-12-291-1/+12
* | Merge pull request #4199 from adriaanm/rebase-4193Adriaan Moors2014-12-183-62/+122
|\ \
| * | SI-8999 Reduce memory usage in exhaustivity checkGerard Basler2014-12-123-62/+122
| |/
* | Merge pull request #4122 from retronym/ticket/7459-2Adriaan Moors2014-12-184-11/+47
|\ \
| * | SI-7459 Handle pattern binders used as prefixes in TypeTrees.Jason Zaugg2014-11-144-11/+47
* | | Suppress match analysis under -Xno-patmat-analysisAdriaan Moors2014-12-123-6/+7
| |/ |/|
* | Merge pull request #4078 from gbasler/topic/fix-analysis-budgetAdriaan Moors2014-12-124-277/+526
|\ \
| * | Avoid the `CNF budget exceeded` exception via smarter translation into CNF.Gerard Basler2014-10-273-268/+499
| * | Debug printing for Any, not AnyRef, to include primitivesAdriaan Moors2014-10-261-3/+3
| * | And, Or take sets of PropsGerard Basler2014-10-263-39/+57
* | | SI-9003 Eagerly capture more potentially mutable bindersJason Zaugg2014-11-262-1/+9
| |/ |/|
* | Merge pull request #4054 from soc/SI-8916Lukas Rytz2014-11-041-1/+0
|\ \
| * | SI-8916 Further fixes with -Ywarn-unused includedSimon Ochsenreither2014-10-241-1/+0
| |/
* / SI-8934 Fix whitebox extractor macros in the pres. compilerJason Zaugg2014-10-271-5/+4
|/
* SI-8894 dealias when looking at tuple componentsAdriaan Moors2014-10-081-1/+0
* Merge pull request #4016 from lrytz/t8731Grzegorz Kossakowski2014-10-071-1/+17
|\
| * SI-8731 warning if @switch is ignoredLukas Rytz2014-10-061-1/+17
* | Merge pull request #3954 from gbasler/ticket/7746-2.11Grzegorz Kossakowski2014-10-063-53/+115
|\ \ | |/ |/|
| * Cleanup `LinkedHashSet` fixes and replace them with `Set` (i.e., backGerard Basler2014-10-052-22/+14
| * SI-7746 patmat: fix non-determinism, infeasible counter examplesGerard Basler2014-10-053-31/+101
* | This ensures that typechecking custom unapplications in silent modeEugene Burmako2014-09-112-10/+11
|/
* SI-8525 No anonymous lintSom Snytt2014-07-101-1/+1
* Rip out reporting indirection from CompilationUnitAdriaan Moors2014-07-047-13/+13
* Track symbol that caused a deprecation warning.Adriaan Moors2014-07-041-2/+4
* Merge pull request #3797 from retronym/topic/exhaust-compoundJason Zaugg2014-06-111-4/+14
|\
| * Remove now-redundant condition in sealedness checkingJason Zaugg2014-06-101-1/+1
| * Refactor `enumerateSubtypes`Jason Zaugg2014-06-101-5/+5
| * SI-8631 Treat `A with Sealed` as enumerable for pattern matchingJason Zaugg2014-06-101-0/+10
* | SI-8611 Avoid accidental patmat unification with refinement typesJason Zaugg2014-06-101-9/+16
|/
* Merge pull request #3719 from retronym/ticket/8546Jason Zaugg2014-05-091-2/+3
|\
| * SI-8546 Pattern matcher analysis foiled by over-wideningJason Zaugg2014-05-071-2/+3
* | SI-8531 Better space efficiency for patmat analysisJason Zaugg2014-05-081-2/+6
|/
* Merge pull request #3687 from smarter/fix_analysisBudget_offJason Zaugg2014-04-211-2/+9
|\
| * SI-8520 Fix -Dscalac.patmat.analysisBudget=offGuillaume Martres2014-04-211-2/+9
* | SI-8430 Less non-determinism in patmat exhautiveness warningsJason Zaugg2014-03-241-6/+6
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 09:45:44 +0000