aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1459 from dotty-staging/tests3odersky2016-08-215-30/+31
|\ | | | | Refinements to auto-tupling
| * Address reviewers comments.Martin Odersky2016-08-211-4/+2
| |
| * Add import back.Martin Odersky2016-08-181-0/+2
| | | | | | | | Needed because the test is also run in neg wihtout command line option.
| * Test reshufflingMartin Odersky2016-08-183-25/+5
| | | | | | | | | | | | - Delete redundant t2660 (exists elready in pos) - Comment t1756 - Recategorize tryexpr
| * Refinements to auto tuplingMartin Odersky2016-08-182-4/+25
| | | | | | | | | | | | | | | | | | | | 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.
* | Add passing testMartin Odersky2016-08-182-0/+8
| | | | | | | | Needs to be done in pos-special because junit tests do not recognize _1, _2.
* | Fix to avoidance of singleton type argumentsMartin Odersky2016-08-182-8/+0
| | | | | | | | Bring in line with comparisons. Fixes z1720 for good.
* | Fixes in comparisons between singleton typesMartin Odersky2016-08-181-0/+0
|/ | | | | Needed to address problem shown by z1720.scala. Another fix to avoidance is needed to make it pass completely.
* Merge pull request #1452 from dotty-staging/fix-#1432Guillaume Martres2016-08-173-0/+16
|\ | | | | Fix desugaring of Bind(WILDCARD, _).
| * Fix #1432: Fix desugaring of Bind(WILDCARD, _).Nicolas Stucki2016-08-153-0/+16
| |
* | Add passing testsMartin Odersky2016-08-1710-2/+2
| |
* | Fix eta expansion for deeply curried methodsMartin Odersky2016-08-172-22/+1
| | | | | | | | | | | | 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.
* | Harden copmpareHkApply for ill-typed programsMartin Odersky2016-08-173-3/+28
| | | | | | | | Turn assertion into test. Without this, neg/tcpoly_overloaded.scala fails.
* | Add clause for HKApply in TypeAssigner#avoidMartin Odersky2016-08-171-0/+0
| |
* | Fix readLine in TestREPL to align with Ammonite readerMartin Odersky2016-08-161-0/+74
| | | | | | | | | | | | Needs to read several input lines at once. Enables repl test of new error messages.
* | New string infterpolatorsMartin Odersky2016-08-161-0/+26
| | | | | | | | | | | | 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.
* | Error message for illegal self type (#1424)Martin Odersky2016-08-161-0/+3
| | | | | | | | Remove debug info from error message.
* | Suspend interpolating typevars when there are unreported errors.Martin Odersky2016-08-161-0/+8
| | | | | | | | | | | | | | | | 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.
* | Merge pull request #1445 from dotty-staging/fix-#1442Dmitry Petrashko2016-08-152-1/+25
|\ \ | | | | | | Fix #1442: add new phase, SelectStatic
| * | t4859: update the check file.Dmitry Petrashko2016-08-091-1/+1
| | | | | | | | | | | | | | | | | | | | | The new behaviour is more reasonable. Now the module if forced consistently in both examples. Note that this is deviation from behaviour of scalac.
| * | Test that #1442 is fixed.Dmitry Petrashko2016-08-091-0/+24
| | |
* | | Merge pull request #1450 from cswinter/elim-toplevel-typeboundGuillaume Martres2016-08-151-1/+0
|\ \ \ | |_|/ |/| | Fix #1443: Replace toplevel TypeBounds with Any
| * | Fix #1443: Replace toplevel TypeBounds with AnyClemens Winter2016-08-151-1/+0
| |/
* | Merge pull request #1414 from dotty-staging/add-array-strawmanodersky2016-08-146-1/+1527
|\ \ | | | | | | Add arrays to collection strawman
| * | Add missing importMartin Odersky2016-07-311-0/+1
| | |
| * | Fix problem with IndexedView.iterator.lengthMartin Odersky2016-07-311-4/+3
| | |
| * | More systematic treatement of IndexedViewMartin Odersky2016-07-301-26/+61
| | | | | | | | | | | | | | | Followinf @szeiger's suggestion, equip IndexView with optimized operations for map/drop/take.
| * | Index members of a class before evaluating its parentsMartin Odersky2016-07-291-0/+26
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
| * | Drop on LinearSeq needs to return collection of same type as it was called on.Martin Odersky2016-07-291-8/+38
| | | | | | | | | | | | This is achieved by putting it into a new trait, LinearSeqLike.
| * | Tweaks to strawmanMartin Odersky2016-07-282-92/+112
| | | | | | | | | | | | | | | | | | | | | - 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
| * | Make colltest6 self-containedMartin Odersky2016-07-272-1/+2
| | | | | | | | | | | | Following the other colltests, put each in a separate package.
| * | Move test from pos to runMartin Odersky2016-07-271-1/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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)
| * | Fix problem related to cbn parameters in supercallsMartin Odersky2016-07-271-5/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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).
| * | Rename fromLikeIterable -> fromIterableWithSameElemTypeMartin Odersky2016-07-272-24/+24
| | | | | | | | | | | | Makes it clearer what it is. Also, fixed check file.
| * | Fix substDealiasMartin Odersky2016-07-271-0/+11
| | | | | | | | | | | | | | | | | | 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.
| * | Improve dropMartin Odersky2016-07-271-10/+3
| | | | | | | | | | | | | | | By making LinearSeq an IterableLike, we can use tail-recursion on drop.
| * | Further extension with LazyListMartin Odersky2016-07-263-105/+594
| | | | | | | | | | | | | | | Demonstrates how to integrate lazy non-view collections in the framework.
| * | Add arrays to collection strawmanMartin Odersky2016-07-253-0/+912
| | | | | | | | | | | | | | | This PR investigates what it takes to extend CollectionStrawMan5 to arrays.
* | | Fix #1447: Make X$ <:< X.type when X is an objectGuillaume Martres2016-08-091-0/+10
| |/ |/| | | | | This allows objects to be easily aliased
* | Merge pull request #1436 from cswinter/wip-repl-patdef-fixGuillaume Martres2016-08-071-0/+10
|\ \ | | | | | | Fix #1372: Add handler for `PatDef`s to REPL
| * | Fix #1372: Add handler for `PatDef`s to REPLClemens Winter2016-08-021-0/+10
| | |
* | | Fix #1367: Add ParsedTry case to UntypedTree{Copier,Map,Accumulator}Clemens Winter2016-08-031-0/+3
| | |
* | | Merge pull request #1431 from cswinter/wip-unboundwildcardodersky2016-08-012-0/+30
|\ \ \ | |/ / |/| | Fix #1396, #1403: Properly handle unbound wildcard types
| * | Add tests for infix types with wildcard parametersClemens Winter2016-08-011-0/+9
| | |
| * | Add tests for unbound wildcard typesClemens Winter2016-08-011-0/+21
| | |
* | | Merge pull request #1429 from dotty-staging/fix-#1426Guillaume Martres2016-08-011-0/+8
|\ \ \ | |/ / |/| | Fix #1426: Fix varable printing in REPL
| * | Fix varable printing in REPLMartin Odersky2016-07-311-0/+8
| | | | | | | | | | | | | | | | | | We accidentally used `toString` instead of `show`. Fixes #1426.
* | | Merge pull request #1398 from dotty-staging/fix-#1269Dmitry Petrashko2016-07-311-0/+16
|\ \ \ | |/ / |/| | Fix #1269: Typing and pattern matching of nested subclasses
| * | Fix outer test in pattern matcherMartin Odersky2016-07-171-0/+16
| | | | | | | | | | | | | | | Previous test did not reflect deeper paths for outer references. This caused a -Ycheck:patMat failure for i1269.scala.
* | | Fix #1285: Mutable vars are not to be considered constantMartin Odersky2016-07-311-0/+4
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 01:49:00 +0000