summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | Merge pull request #635 from adriaanm/topic/virtpatmatAdriaan Moors2012-05-283-7/+17
|\ \ \ \ \ | |_|_|/ / |/| | | | fixes for exhaustivity
| * | | | handle approximating alternative of empty patternAdriaan Moors2012-05-281-1/+4
| | | | |
| * | | | don't check exhaustivity involving user-defined unapplySeqAdriaan Moors2012-05-283-6/+13
| |/ / /
* | | | Merge pull request #633 from retronym/topic/value-class-bridgeAdriaan Moors2012-05-274-2/+32
|\ \ \ \ | |/ / / |/| | | Fix a NSDNHAO in extension methods.
| * | | Fix a NSDNHAO in extension methods.Jason Zaugg2012-05-274-2/+32
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | A bridge method, created when we override a method from a superclass and refine the return type, was appearing as an overloaded alternative. (`erasure` doesn't create new scopes, so the bridges it builds are visible at earlier phases.) The problem was masked when compiling with specialization, which *does* create a new scope, shielding the code in question from the artefacts of erasure. To fix the problem, we filter out bridge methods from the overloaded alternatives returned by `.decl`, as would happen internally in `.member`.
* | | | Handled some of our new exhaustiveness warnings.Paul Phillips2012-05-269-11/+17
| | | | | | | | | | | | | | | | Who could have suspected it would actually be right most of the time?
* | | | Orphan checkfile remover.Paul Phillips2012-05-2638-1013/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Are these -msil checkfiles used in some secret fashion? The level of activity suggest otherwise. Since scala-nightly-msil has been disabled for over a year, it's an easy rm unless someone speaks up. % tools/rm-orphan-checkfiles Scanning for orphan check files... rm 'test/disabled/run/code.check' rm 'test/files/jvm/t1652.check' rm 'test/files/neg/macro-argtype-mismatch.check' rm 'test/files/neg/macro-noncompilertree.check' rm 'test/files/neg/macro-nontree.check' rm 'test/files/run/Course-2002-01-msil.check' rm 'test/files/run/Course-2002-02-msil.check' rm 'test/files/run/Course-2002-03-msil.check' rm 'test/files/run/Course-2002-04-msil.check' rm 'test/files/run/Course-2002-08-msil.check' rm 'test/files/run/Course-2002-09-msil.check' rm 'test/files/run/Course-2002-10-msil.check' rm 'test/files/run/absoverride-msil.check' rm 'test/files/run/bitsets-msil.check' rm 'test/files/run/boolord-msil.check' rm 'test/files/run/bugs-msil.check' rm 'test/files/run/impconvtimes-msil.check' rm 'test/files/run/infix-msil.check' rm 'test/files/run/iq-msil.check' rm 'test/files/run/macro-invalidret-doesnt-conform-to-impl-rettype.check' rm 'test/files/run/macro-rettype-mismatch.check' rm 'test/files/run/misc-msil.check' rm 'test/files/run/promotion-msil.check' rm 'test/files/run/richs-msil.check' rm 'test/files/run/runtime-msil.check' rm 'test/files/run/tuples-msil.check' rm 'test/pending/jvm/t1464.check' rm 'test/pending/run/subarray.check' rm 'test/pending/run/t0446.check' rm 'test/pending/run/t5629.check' Scanning for orphan flags files... rm 'test/files/neg/macro-argtype-mismatch.flags' rm 'test/files/neg/macro-noncompilertree.flags' rm 'test/files/neg/macro-nontree.flags' rm 'test/files/pos/anyval-children.flags' rm 'test/files/pos/t3097.flags' rm 'test/files/run/macro-invalidret-doesnt-conform-to-impl-rettype.flags' rm 'test/files/run/macro-rettype-mismatch.flags'
* | | | Help our new exhaustiveness checker.Paul Phillips2012-05-261-6/+9
|/ / / | | | | | | | | | ...be a little less chatty.
* | | Merge pull request #612 from adriaanm/ticket/5829Adriaan Moors2012-05-262-2/+20
|\ \ \ | | | | | | | | fix SI-5829: refinement typeref has a prefix
| * | | fix SI-5829: refinement typeref has a prefixAdriaan Moors2012-05-242-2/+20
| |/ /
* | | Merge pull request #626 from retronym/ticket/4818Adriaan Moors2012-05-262-0/+13
|\ \ \ | | | | | | | | Test case closes SI-4818
| * | | Test case closes SI-4818Jason Zaugg2012-05-252-0/+13
| | | | | | | | | | | | | | | | Fixed between 2.10.0 M2 and M3, with both the old and new pattern matcher.
* | | | Merge pull request #630 from retronym/ticket/5041Adriaan Moors2012-05-261-0/+9
|\ \ \ \ | | | | | | | | | | Test case closes SI-5041.
| * | | | Test case closes SI-5041.Jason Zaugg2012-05-261-0/+9
| | | | |
* | | | | Merge pull request #629 from retronym/ticket/4911Adriaan Moors2012-05-262-0/+17
|\ \ \ \ \ | |/ / / / |/| | | | Test case closes SI-4911.
| * | | | Test case closes SI-4911.Jason Zaugg2012-05-262-0/+17
|/ / / / | | | | | | | | | | | | The unchecked warning departed sometime between 4afae5be...278a225.
* | | | Merge pull request #625 from retronym/ticket/5318-3Adriaan Moors2012-05-258-35/+70
|\ \ \ \ | | | | | | | | | | SI-5318 Make implicit divergence checking PolyType aware.
| * | | | SI-5318 Make implicit divergence checking PolyType aware.Jason Zaugg2012-05-258-35/+70
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Replaces the two active subclasses of `SymCollector` with direct use of traversal methods of `Type`. Wildcard free class type parameters, not just method type parameters, when stripping the core type of candidate implicits. The spec doesn't make any such distinction, and the enclosed test, t5318c, crashes without this change.
* | | | | Merge pull request #624 from hubertp/topic/cleanupJosh Suereth2012-05-253-23/+1
|\ \ \ \ \ | | | | | | | | | | | | Cleaning up some code introduced for the old presentation compiler long ...
| * | | | | Cleaning up some code introduced for the old presentation compiler long time ↵Hubert Plociniczak2012-05-243-23/+1
| | | | | | | | | | | | | | | | | | | | | | | | ago. Review by @dragos
* | | | | | Merge pull request #613 from hubertp/issue/5821Adriaan Moors2012-05-256-11/+35
|\ \ \ \ \ \ | | | | | | | | | | | | | | Closes SI-5821.
| * | | | | | Closes SI-5821.Hubert Plociniczak2012-05-246-11/+35
| |/ / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This was an interesting one. Basically an erroneous import was creating an erroneous symbol for Array (similary for other symbols that were 'found' in this import) which was leading to all sorts of inconsistencies and spurious errors. This wasn't a bug in ContextErrors but rather something that existed for ages and was hidden from the general audience. Review by @paulp.
* | | | | | Merge pull request #621 from axel22/issue/5085bAdriaan Moors2012-05-251-4/+22
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fixes SI-5085 and SI-4833.
| * | | | | | Fixes SI-5085 and SI-4833.Aleksandar Prokopec2012-05-251-4/+22
| | |_|_|/ / | |/| | | |
* | | | | | Merge pull request #623 from adriaanm/ticket/switch-warning-not-errorAdriaan Moors2012-05-252-1/+2
|\ \ \ \ \ \ | | | | | | | | | | | | | | don't error when not emitting required switch
| * | | | | | don't error when not emitting required switchAdriaan Moors2012-05-252-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | we don't handle switches with guards, whereas the old patmat did to ease the transition, let's not error out and see how we can resolve this
* | | | | | | Merge pull request #622 from vjovanov/masterAdriaan Moors2012-05-2522-1293/+0
|\ \ \ \ \ \ \ | |/ / / / / / |/| | | | | | Removing non-deterministic actor migration tests.
| * | | | | | Removing non-deterministic actor migration tests.Vojin Jovanovic2012-05-2522-1293/+0
|/ / / / / / | | | | | | | | | | | | | | | | | | Testing these issues takes significant amounts of time so I am temporarely removing them from the master. The issue is not in the code but in the tests output order.
* | | | | | Merge pull request #619 from magarciaEPFL/ticket-SI-5805Adriaan Moors2012-05-251-4/+5
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fixes SI-5805
| * | | | | | Fixes SI-5805Miguel Garcia2012-05-241-4/+5
| |/ / / / /
* | | | | | Merge pull request #618 from axel22/issue/5428Adriaan Moors2012-05-253-0/+35
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fixes SI-5428.
| * | | | | | Fixes SI-5428.Aleksandar Prokopec2012-05-243-0/+35
| |/ / / / /
* | | | | | Merge pull request #617 from phaller/implicit-execution-contextAdriaan Moors2012-05-245-42/+218
|\ \ \ \ \ \ | |_|_|_|/ / |/| | | | | Move implicit ExecutionContext to be determined by lexical scope
| * | | | | Move implicit ExecutionContext to be determined by lexical scopephaller2012-05-245-42/+218
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Port of a pull request originally submitted by @havocp. - declare the invariant that all app callbacks have an associated ExecutionContext provided at the place the callback is passed to a method on Future - always run callbacks in their associated EC - since all callbacks have their own EC, Promise does not need one - "internal" callbacks don't need to defer execution either since we know the ultimate app callback will do so, therefore we can use an immediate executor for these
* | | | | Merge pull request #615 from axel22/issue/5441Adriaan Moors2012-05-241-2/+2
|\ \ \ \ \ | |/ / / / |/| | | | Clarify docs, see SI-5441
| * | | | Fixes SI-5441.Aleksandar Prokopec2012-05-241-2/+2
|/ / / /
* | | | Merge pull request #611 from scala/fix-scala-migration-buildLukas Rytz2012-05-241-0/+0
|\ \ \ \ | | | | | | | | | | Fix to naming of file.
| * | | | Fix to naming of file.Josh Suereth2012-05-231-0/+0
| | | | |
* | | | | Merge pull request #610 from jsuereth/sbt-lock-by-defaultAdriaan Moors2012-05-242-58/+40
|\ \ \ \ \ | |/ / / / |/| | | | Added lock by default and did a minor amount of cleanup. More to come h...
| * | | | Added lock by default and did a minor amount of cleanup. More to come ↵Josh Suereth2012-05-232-58/+40
| | | | | | | | | | | | | | | | | | | | hopefully.
* | | | | Merge pull request #609 from jsuereth/asm-compiled-onceJosh Suereth2012-05-2380-54/+58
|\| | | | | | | | | | | | | | Asm compiled once
| * | | | Merge branch 'master' into asm-compiled-onceJosh Suereth2012-05-2327-114/+401
| |\ \ \ \ | |/ / / / |/| | | |
* | | | | Merge pull request #607 from paulp/may22-checkinAdriaan Moors2012-05-2326-113/+378
|\ \ \ \ \ | | | | | | | | | | | | tests and misc improvements
| * | | | | Widen types in names/defaults transformations.Paul Phillips2012-05-233-13/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We were getting away with this somehow, but the types are wrong after typer and that sort of thing is noticed by more people now. I took the opportunity to add our first -Ycheck:all test, which is at least as much about helping -Ycheck:all remain in good working order as it is about this test.
| * | | | | Creator for superconstructor tree.Paul Phillips2012-05-237-19/+14
| | | | | |
| * | | | | Usability improvements to Origins.Paul Phillips2012-05-233-39/+51
| | | | | |
| * | | | | Pending and passing tests.Paul Phillips2012-05-238-3/+236
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Move now-passing SI-963 test into neg. Test for partial specialization. Pending test for SI-5008. Pending test for SI-4649. Abstract array type test.
| * | | | | Cleanups in Treecheckers.Paul Phillips2012-05-231-34/+33
| | | | | |
| * | | | | Make phase fmask a public val instead of a private var.Paul Phillips2012-05-231-4/+6
| | | | | |
| * | | | | Relax -Xlint warning for implicit classes. Closes SI-5809.Paul Phillips2012-05-233-1/+12
| | | | | |