aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Make the dotty-bridge sbt project a subproject of dottyGuillaume Martres2016-06-075-0/+62
| | | | | | | | | Note that the dotty-bridge tests will not be run automatically by `test` which is short for `dotty/test`, to run the dotty-bridge tests, do in sbt: > dotty-bridge/test > dotty-bridge/scripted Original history: https://github.com/smarter/dotty-bridge/commits/master
* Merge pull request #1281 from dotty-staging/fix-lamda-liftodersky2016-05-271-0/+11
|\ | | | | Fixes to lambdalift that prevent memory leaks.
| * Fix deadlock in t5375 and similar tests.Dmitry Petrashko2016-05-261-0/+11
| | | | | | | | See t5375.scala for details.
* | Add test for SI-9795Felix Mulder2016-05-271-0/+7
| |
* | Add test for previous ensuring correct bindsFelix Mulder2016-05-272-0/+5
| |
* | Annotate repeated params with `case` flag to indicate that they are legalFelix Mulder2016-05-272-5/+2
| | | | | | | | | | | | | | One drawback with this approach is that the type seems to propagate. I.e. if the return type of an expression is `repeated` then the enclosing variable will get the `repeated` type instead of getting the expected `Seq` type
* | Fix double evaluation of scrutinee with side-effects, add testFelix Mulder2016-05-262-0/+17
| |
* | Don't evaluate isInstanceOf for value classes, disable bugged testsFelix Mulder2016-05-265-3/+8
| | | | | | | | | | | | | | The tests `i1059.scala` and `t3480.scala` are failing due to a bug in pattern matcher that evaluates the `x` in `List(x: _*)` incorrectly. Concerned issue: #1276
* | Add Eq instances of standard types to PredefMartin Odersky2016-05-231-1/+10
| | | | | | | | | | | | | | | | | | To make tests pass, this required a looser specification of `assumedCanEquals`, so that an abstract type T can be compared to arbitrary values, as long as its upper bound can be compared. E.g. T == null T == "abc"
* | Add Java types to equality testMartin Odersky2016-05-231-0/+21
| |
* | Make Eq contravariantMartin Odersky2016-05-231-5/+4
| | | | | | | | (and add it to commit set).
* | Test caseMartin Odersky2016-05-231-0/+80
| |
* | Hooks to check that comparisons with == / != make senseMartin Odersky2016-05-232-96/+126
| | | | | | | | | | | | | | | | | | | | Also, check that pattern matching against idents/selects/literals makes sense. The hooks perform an implicit search for an instance of `Eq[L, R]`, where `L`, `R` are the argument types. So far this always succeeeds because Eq.eqAny matches all such types. A separate commit will check the returned search term for validity.
* | Add new strawman for multiversal equalityMartin Odersky2016-05-231-0/+96
| |
* | Downwards comparisons for implicit search and overloading resolutionMartin Odersky2016-05-231-0/+0
| | | | | | | | | | | | | | | | | | Compare selected contravariant arguments as if they were covariant. Which ones is explained in the doc comment for method `isAsSpecificValueType` in Applications.scala. This has the same motivation than what @paulp proposed around 2012. The solution is a bit different from the one proposed then because it only affects top-level parameters.
* | Two more testsMartin Odersky2016-05-192-0/+30
| | | | | | | | Unrelated to other commits but useful to get in.
* | Remove stray testMartin Odersky2016-05-191-17/+0
| | | | | | | | Real test is in neg/customargs
* | Handle MergeErrors in RefChecksMartin Odersky2016-05-192-14/+26
| | | | | | | | | | Used to throw an uncaught merge error in checkAllOverrides when compiling i1240c.scala.
* | Another test case involving super accessorsMartin Odersky2016-05-182-2/+19
| |
* | A test case for overloading/overriding interactionsMartin Odersky2016-05-181-0/+27
| | | | | | | | | | This showcases a tricky interaction between overloading and overriding. See discussion of #1240 for context.
* | Issue MergeError exception for double def situationsMartin Odersky2016-05-182-17/+20
| | | | | | | | | | | | | | | | When finding two symbols in the same class that have the same signature as seen from some prefix, issue a merge error. This is simpler and more robust than the alternative of producing an overloaded denotation and dealing with it afterwards.
* | Fix test caseMartin Odersky2016-05-181-2/+2
| |
* | Test caseMartin Odersky2016-05-181-0/+40
|/
* Revert Scanners and Tokens to their original formFelix Mulder2016-04-282-36/+1
| | | | | Since we decided to go with the non dotty-scanner approach these are unnecessary to have altered, might just as well revert them.
* Allow dependent method type for unapply.Martin Odersky2016-04-271-0/+14
|
* Revert: Better error diagnostics for "not an extractor" errors.Martin Odersky2016-04-271-27/+0
| | | | | No longer needed because we are going to allow dependent method types in extractors, and the unary requirement is kind of obvious.
* Better error diagnostics for "not an extractor" errors.Martin Odersky2016-04-271-0/+27
| | | | | Now explains in detail why an possibly found unapply or unapplySeq is ineligible.
* Test caseMartin Odersky2016-04-271-0/+16
|
* Merge branch 'master' into fix-equalityodersky2016-04-263-0/+30
|\
| * Merge pull request #1227 from dotty-staging/implement-1221Dmitry Petrashko2016-04-263-0/+30
| |\ | | | | | | Allow to specify per-callsite @tailrec annotation.
| | * Fix test failures in tailcall due to name clashes.Dmitry Petrashko2016-04-212-2/+2
| | |
| | * Add neg-test for method with @tailrec callsites that is not final.Dmitry Petrashko2016-04-181-0/+10
| | |
| | * Test #1221.Dmitry Petrashko2016-04-182-0/+20
| | |
* | | Add test that demonstrate that #878 is fixedGuillaume Martres2016-04-221-0/+17
| | | | | | | | | | | | It was fixed by 2460f9603b0f0ed1d73dfea99edcee9ba6261d36
* | | Support implicitNotFound annotationMartin Odersky2016-04-221-3/+6
| | |
* | | Avoid propagating unresolved implicitsMartin Odersky2016-04-211-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When an implicit argument is not found, we should in any case assume the result type of the implicit method as the type of the tree (after reporting an error, of course). If we don't do that, we get implicit errors on weird positions when we try to find an implicit argument for the same tree again. This caused a spurious error in subtyping.scala, and also caused an additional error at the end of EqualityStrawman1.scala.
* | | Straw man for multiversal equality.Martin Odersky2016-04-211-0/+76
|/ / | | | | | | | | | | | | This test shows how we can make equality non-universal in Scala. It also exhibited the two bugs fixed in the previous two commits. Also related: SI-9763.
* | Merge pull request #1219 from dotty-staging/fix-strawmansDmitry Petrashko2016-04-207-2/+1568
|\ \ | | | | | | Fix strawmans
| * | Fix check filesMartin Odersky2016-04-172-2/+0
| | |
| * | Updates of strawmanMartin Odersky2016-04-176-46/+867
| | | | | | | | | | | | | | | Bring strawman-4 and strawman-5 to feature-parity. Test also strawman-4.
| * | Drop type annotation in collection testMartin Odersky2016-04-161-1/+1
| | |
| * | Add check fileMartin Odersky2016-04-151-0/+68
| | |
| * | New testsMartin Odersky2016-04-153-2/+681
| | | | | | | | | | | | | | | | | | | | | New CollectionStrawMan5, executed as runttest in two different ways: - built with scalac, test compiled by dotty in tests/run. - built with dotty, test compiled by dotty using separate compilation.
* | | Add a test to check multidimenstionall arrays.Dmitry Petrashko2016-04-181-0/+37
| |/ |/|
* | Merge pull request #1211 from dotty-staging/fix-#1202odersky2016-04-167-0/+36
|\ \ | |/ |/| Fix Tasty errors
| * Rearrange pickle testsMartin Odersky2016-04-092-0/+1
| | | | | | | | | | | | | | 1) Move passing test to pickling 2) Add test case for #1212 in pending 3) Disable annotations/internal in pickling tests. They lead to a stable symbol error which is explainable (modifiers are read before symbol is created).
| * Fix unpickling of Java SeqLiteralsMartin Odersky2016-04-071-0/+4
| | | | | | | | | | | | | | | | | | | | Two problems were fixed: - isJava needs to look at function symbol, not its type (references to Java methods get normal MethodTypes not JavMethodTypes) - we also need to handle the case where the repeated argument is wrspped in a type ascription.
| * Fix flags when unpickling setters of parameter accessorsMartin Odersky2016-04-071-0/+1
| | | | | | | | | | | | ParamAccessor is not a pickled flag. This is not a problem for normal parameter accessors which are pickled as PARAM fields. But setters of parameter accessors also need to have the flag set (and Deferred reset).
| * Test casesMartin Odersky2016-04-072-0/+16
| |
| * Augment test caseMartin Odersky2016-04-071-0/+14
| |