| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
| |
Using Scala 2.11.8 and dotty at bcfa3be8cfe2be.
cc/ #1457
|
|\
| |
| | |
Fix #1444: Pass implicits to parameterless traits if needed
|
| | |
|
| |
| |
| |
| |
| |
| |
| |
| | |
If a super trait is given as a type (i.e. no argument list), implicit args were
not passed. This is fixed now. Also, we now check for parameterized traits lacking
type arguments in Typer instead of in Mixin.
Fixes #1444.
|
|\ \
| | |
| | | |
Refinements to auto-tupling
|
| | | |
|
| | |
| | |
| | |
| | | |
Needed because the test is also run in neg wihtout command line option.
|
| | |
| | |
| | |
| | |
| | |
| | | |
- Delete redundant t2660 (exists elready in pos)
- Comment t1756
- Recategorize tryexpr
|
| |/
| |
| |
| |
| |
| |
| |
| |
| |
| | |
There's a nasty interaction with auto-tupling and trying to insert an implicit
on the qualifier of a call. If the original call fails, we need to "undo" any
auto-tupling decisions in calls where an implicit is inserted on the qualifier.
Also: Needed to fix canAutoTuple test so that Scala2 feature is checked instead of dotty's.
Also: Drop features in dotty.language that duplicate those in scala.language.
|
| |
| |
| |
| | |
Needs to be done in pos-special because junit tests do not recognize _1, _2.
|
| |
| |
| |
| | |
Bring in line with comparisons. Fixes z1720 for good.
|
|/
|
|
|
| |
Needed to address problem shown by z1720.scala.
Another fix to avoidance is needed to make it pass completely.
|
|\
| |
| | |
Fix desugaring of Bind(WILDCARD, _).
|
| | |
|
| | |
|
| |
| |
| |
| |
| |
| | |
Eta expansion yielded incorrect result if the eta expanded method
has more than one parameter sections and the expected result type
is a unary function type. In that case a postfix `_' needs to be appended.
|
| |
| |
| |
| | |
Turn assertion into test. Without this, neg/tcpoly_overloaded.scala fails.
|
| | |
|
| |
| |
| |
| |
| |
| | |
Needs to read several input lines at once.
Enables repl test of new error messages.
|
| |
| |
| |
| |
| |
| | |
Roll `sm` and `i` into one interpolator (also called `i`)
Evolve `d` to `em` interpolator (for error messages)
New interpolator `ex` with more explanations, replaces disambiguation.
|
| |
| |
| |
| | |
Remove debug info from error message.
|
| |
| |
| |
| |
| |
| |
| |
| | |
Interpolating typevars that appear co- or contra-variantly in a type
is a cleanup measure - it helps keep the constraint set small. However,
if there are uneported errors, some of these errors might report on
unsatisfiable constraints for these type variables. In that case, instantiating
the type variables risks being confusing.
|
|\ \
| | |
| | | |
Fix #1442: add new phase, SelectStatic
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
The new behaviour is more reasonable.
Now the module if forced consistently in both examples.
Note that this is deviation from behaviour of scalac.
|
| | | |
|
|\ \ \
| |_|/
|/| | |
Fix #1443: Replace toplevel TypeBounds with Any
|
| |/ |
|
|\ \
| | |
| | | |
Add arrays to collection strawman
|
| | | |
|
| | | |
|
| | |
| | |
| | |
| | |
| | | |
Followinf @szeiger's suggestion, equip IndexView with
optimized operations for map/drop/take.
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Avoids missing member in tangledCompanion.scala, which is a minimization
of intermittent failures in CollectionStrawMan6. Intermittent, because it
depended on order of compilation. CollectionTests have to be compiled together with
but before CollectionStrawMan6 (this was _sometimes_ the case because partest did not
honor indicated compilation order so far). I.e.
dotc CollectionTests_2.scala CollectionStrawMan6_1.scala
would trigger the error. tangledCompanion.scala captures the dependencies
in a single file.
|
| | |
| | |
| | |
| | | |
This is achieved by putting it into a new trait, LinearSeqLike.
|
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
- Add proper :: to lists
- Move some methods to IterableOps in order to keep Iterable clean
- Rename knownLength to knownSize
- Add some implentations for performance and completeness
|
| | |
| | |
| | |
| | | |
Following the other colltests, put each in a separate package.
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
Test generated code before but fails with verify error at runtime.
Here's the message:
Exception in thread "main" java.lang.VerifyError: Bad type on operand stack
Exception Details:
Location:
D$.<init>()V @2: invokedynamic
Reason:
Type uninitializedThis (current frame, stack[1]) is not assignable to 'D$'
Current Frame:
bci: @2
flags: { flagThisUninit }
locals: { uninitializedThis }
stack: { uninitializedThis, uninitializedThis }
Bytecode:
0x0000000: 2a2a ba00 1f00 00b7 0022 2ab3 0024 b1
at Test$.main(t3048.scala:13)
at Test.main(t3048.scala)
With the fix in last commit, test causes backend to crash with
java.lang.AssertionError: assertion failed: val <none>
at scala.Predef$.assert(Predef.scala:165)
at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.assertClassNotArray(BCodeHelpers.scala:214)
at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.assertClassNotArrayNotPrimitive(BCodeHelpers.scala:219)
at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.getClassBTypeAndRegisterInnerClass(BCodeHelpers.scala:238)
at scala.tools.nsc.backend.jvm.BCodeSkelBuilder$PlainSkelBuilder.getClassBTypeAndRegisterInnerClass(BCodeSkelBuilder.scala:51)
at scala.tools.nsc.backend.jvm.BCodeHelpers$BCInnerClassGen$class.internalName(BCodeHelpers.scala:210)
|
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | |
| | | |
The closures generated by elimByName did not get the InSuperCall
flag set. This caused problems in lambda lift which led to a
verify error for the new version CollectionStrawMan6. That version
replaces explicit function parameters in class LazyList by
by-name parameters.
Also: Clarify logic for liftLocals in LambdaLift (liftLocals caused the immediate
problem but was in the end not to blame).
|
| | |
| | |
| | |
| | | |
Makes it clearer what it is. Also, fixed check file.
|
| | |
| | |
| | |
| | |
| | |
| | | |
substDealias did not follow aliases when the prefix of a typeref changed
under substitution. This was exhibited by a bug in extensionMethods which was
first discovered in CollectionStrawMan6 and was minimized in extmethods.
|
| | |
| | |
| | |
| | |
| | | |
By making LinearSeq an IterableLike, we can use tail-recursion
on drop.
|
| | |
| | |
| | |
| | |
| | | |
Demonstrates how to integrate lazy non-view collections
in the framework.
|
| | |
| | |
| | |
| | |
| | | |
This PR investigates what it takes to extend CollectionStrawMan5 to
arrays.
|
| |/
|/|
| |
| | |
This allows objects to be easily aliased
|
|\ \
| | |
| | | |
Fix #1372: Add handler for `PatDef`s to REPL
|
| | | |
|
| | | |
|
|\ \ \
| |/ /
|/| | |
Fix #1396, #1403: Properly handle unbound wildcard types
|
| | | |
|
| | | |
|