| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
| |
Currently, exhaustivity analysis only runs for scrutinees with
a sealed type.
This commit treats any case class as a one-element, sealed type
to enable additional analysis, such as in the new test case.
|
| |
|
|
|
|
|
|
|
| |
Introduces -Xstrict-inference to deal with the significant
gap between soundness and what presently compiles. I'm hopeful
that it's TOO strict, because it finds e.g. 75 errors compiling
immutable/IntMap.scala, but it might be that bad.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
One last flurry with the broom before I leave you slobs to code
in your own filth. Eliminated all the trailing whitespace I
could manage, with special prejudice reserved for the test cases
which depended on the preservation of trailing whitespace.
Was reminded I cannot figure out how to eliminate the trailing
space on the "scala> " prompt in repl transcripts. At least
reduced the number of such empty prompts by trimming transcript
code on the way in.
Routed ConsoleReporter's "printMessage" through a trailing
whitespace stripping method which might help futureproof
against the future of whitespace diseases. Deleted the up-to-40
lines of trailing whitespace found in various library files.
It seems like only yesterday we performed whitespace surgery
on the whole repo. Clearly it doesn't stick very well. I suggest
it would work better to enforce a few requirements on the way in.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Some scalac output is on stderr, and it's useful to see that
in the log file, especially for debugging.
Adds a line filter for logs, specified as "filter: pattern"
in the test source.
Backslashes are made forward only when detected as paths.
Test alignments:
Deprecations which do not pertain to the system under test
are corrected in the obvious way.
When testing deprecated API, suppress warnings by deprecating
the Test object.
Check files are updated with useful true warnings, instead of
running under -nowarn.
Language feature imports as required, instead of running under -language.
Language feature not required, such as casual use of postfix.
Heed useful warning.
Ignore broken warnings. (Rarely, -nowarn.)
Inliner warnings pop up under -optimise only, so for now, just
filter them out where they occur.
Debug output from the test required an update.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
Removes SUnit (long deprecated!) from the standard library.
the relatively small number of partest tests in Scala's suite that
were still using SUnit now either just use regular asserts, or they
print stuff that partest checks with a .check file. Also fixed some bad
indentation, removed ancient useless-looking commented-out code, etc.
Contributed by Seth Tisue (way to go seth) no review.
|
| |
|
| |
|
|
|
|
|
|
| |
Deprecated case classes inheriting from other case classes, and updated
all the tests which did so.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
one long-standing bug which actually had a test case testing its
bugginess (which is to say, when I fixed the bug, the test case failed.)
This:
- def doMatch4(xs:Seq[Char]) = xs match {
- case Seq(x, y, _*) => x::y::Nil
- case Seq(x, y, z, w) => List(z,w) // redundant!
- }
...should never have compiled - which must have been recognized
on some level given the "redundant!" comment, but it never made
it into neg/.
|
|
|
|
|
|
| |
Implemented proposed strategy for #1503 and moved test case out of
pending (and fixed it so it didn't throw a match error.)
|
|
|
|
|
|
| |
In "Iterable" and in all its subclasses, "iterator" replaces "elements"
(and assorted changes).
|
| |
|
| |
|
| |
|
|
|
|
|
| |
fixed 495 again (this fix no longer ignores guards), with test
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
fixed ticket #2 (patch from tags/R_2_6_0-RC2), reorganized test cases
|
|
|
|
|
| |
moved test cases in bug457.scala in to patmatnew.scala
|
| |
|
|
|
|
|
| |
Ident(sym) => mkIdent(sym), avoids unattributed ident blowing up Erasure
|
|
|
|
|
| |
unapplySeq-optimization works in combination with guards
|
|
|
|
|
|
| |
fixed #1281, reverted Sean's lazy generator in Main which broke the
build
|
|
|
|
|
|
| |
fix #1282, optimized translation of List.unapplySeq / List(p1...pN)
patterns
|
|
|
|
|
| |
fixed #1277, more conservative when generating equals test, +test cases
|
|
|
|
|
|
|
| |
fix #1276, encoding equals test in types means one has be careful when
using <:<... for an "equalsclass" type, extracts the type of the value
which is to be compared by equality, used in optimization
|
| |
|
|
|
|
|
| |
implemented #1196 by typer change and added test cases
|
|
|
|
|
|
|
| |
Definitions, Par: encoding equality patterns using <equals> pattern type
code generation: if pattern body is throw, generate throw directly (no
sharing) tests:moved unboxmatch into patmatnew
|
| |
|
|
|
|
|
| |
fixed 1253
|
| |
|
|
|
|
|
| |
fixed alternative detection, handling of variables for unapply patterns
|
| |
|
|
|
|
|
|
| |
added setting Xmatchalgo + cleanup of PatternMatchers * more control on
which algo get used * removed some obsolete code * added test case
|
|
|
|
|
| |
Added existential types.
|
| |
|
| |
|