aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Collapse)AuthorAgeFilesLines
* Better error messages for missing type of recursive definitionsMartin Odersky2017-02-231-0/+6
|
* Merge pull request #2014 from dotty-staging/fix-#2002odersky2017-02-222-0/+27
|\ | | | | Fix #2000: Make implicit and non-implicit functions incomparable
| * Fix #2000: Make implicit and non-implicit functions incomparable with <:<Martin Odersky2017-02-212-0/+27
| | | | | | | | | | | | | | | | | | Implicit and non-implicit functions are incomparable with <:<, but are treated as equivalent with `matches`. This means implicit and non-implicit functions of the same types override each other, but RefChecks will give an error because their types are not subtypes. Also contains a test for #2002.
* | Merge pull request #1997 from dotty-staging/fix-#1992odersky2017-02-222-0/+16
|\ \ | | | | | | Fix off-by-one error in forward reference checking
| * | Fixed #2005: Add test case.Nicolas Stucki2017-02-211-0/+7
| | |
| * | Fix off-by-one error in forward reference checkingMartin Odersky2017-02-181-0/+9
| | |
* | | Merge pull request #1984 from dotty-staging/fix-#1747-v2odersky2017-02-211-0/+3
|\ \ \ | | | | | | | | Fix #1747: Improve error message for Scala/Java type mismatch
| * | | Fix test case^2Martin Odersky2017-02-151-2/+2
| | | |
| * | | Fix test caseMartin Odersky2017-02-151-1/+1
| | | |
| * | | Tweak printing of polymrophic methodsMartin Odersky2017-02-141-0/+3
| |/ / | | | | | | | | | Omit the `=>' if a PolyType has a MethodType as result type.
* | / Don't inline when errors are detectedMartin Odersky2017-02-211-0/+10
| |/ |/| | | | | | | | | | | | | | | Inlining is only well-defined if the body to inline does not have any errors. We therefore check for errors before we perform any transformation of trees related to inlining. The error check is global, i.e. we stop on any error not just on errors in the code to be inlined. This is a safe approximation, of course.
* | Merge pull request #1987 from dotty-staging/topic/remove-unused-flagsFelix Mulder2017-02-201-2/+0
|\ \ | | | | | | Remove unused flags
| * | Make non-existent compiler options emit warnings instead of failingFelix Mulder2017-02-201-2/+0
| |/
* / Disable tests that require scala-compilerGuillaume Martres2017-02-181-37/+0
|/ | | | This is necessary if we ever want to get rid of our dependency on scala-compiler
* Merge pull request #1931 from dotty-staging/fix-#1501Guillaume Martres2017-02-132-1/+29
|\ | | | | Fix #1501 - Check trait inheritance condition
| * Add test scenariosMartin Odersky2017-02-081-0/+10
| |
| * Update test caseMartin Odersky2017-02-081-1/+1
| |
| * Fix #1501 - Check trait inheritance conditionMartin Odersky2017-02-081-0/+18
| | | | | | | | | | We need to check a coherence condition between the superclass of a trait and the superclass of an inheriting class or trait.
* | Merge pull request #1921 from dotty-staging/fix-#1907odersky2017-02-083-2/+36
|\ \ | |/ |/| Fix #1907: Improve error message
| * Update test fileMartin Odersky2017-02-011-0/+22
| | | | | | | | Updated with SI issues reported by Jason
| * Disallow taking a class tag of Nothing or Null.Martin Odersky2017-02-013-2/+14
| | | | | | | | | | | | | | | | It seems in most cases this leads to weird behavior and cause confusing error messages later. It also means we cannot create an Array[Nothing], except by passing the classtag explicitly.
* | Fix #1568 - avoid transforming error treesMartin Odersky2017-02-021-0/+3
| | | | | | | | | | If a tree has type error, subtrees may not have an assigned type. Therefore we should avoid transforming such trees.
* | Merge pull request #1925 from dotty-staging/fix/inner-vcodersky2017-02-021-0/+19
|\ \ | | | | | | Fix #1644: Disallow inner classes in value classes
| * | Fix #1644: Disallow inner classes in value classesGuillaume Martres2017-02-011-0/+19
| | |
* | | Merge pull request #1881 from dotty-staging/add-structural-selectodersky2017-02-012-7/+18
|\ \ \ | |_|/ |/| | Implement structural type member access
| * | Disallow polymorphic refinements in stuctural types.Martin Odersky2017-01-281-0/+11
| | | | | | | | | | | | We can't handle them with the proposed scheme. I made a note in #1886.
| * | Implement structural type member accessMartin Odersky2017-01-051-7/+7
| | | | | | | | | | | | New scheme for implementing structural type member access.
* | | Fix #1750: Handle illegal class overrides betterMartin Odersky2017-01-296-9/+28
| |/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Illegal class overrides are fundamentally at odds with the way dotty represents types and therefore can cause lots of low-level problems. Two measures in this commit First, we detect direct illegal class overrides on completion instead of during RefChecks. Break the override by making the previously overriding type private. This fixes i1750.scala, but still fails for indirect overrides between two unrelated outer traits/classes that are inherited by the same class or trait. We fix this by catching the previously thrown ClassCastException in both ExtractAPI and RefChecks. Test case for indirect overrides is in i1750a.scala.
* | Improve error position and drop second error since it is prunedJonathan Brachthäuser2017-01-081-1/+1
|/
* Merge pull request #1850 from dotty-staging/fix-#1845odersky2016-12-281-0/+3
|\ | | | | Fix #1845: Survive illegal this-type prefixes
| * Annotate other error line in testMartin Odersky2016-12-261-1/+1
| |
| * Add // error to neg testMartin Odersky2016-12-221-1/+1
| |
| * Fix #1845: Survive illegal this-type prefixesMartin Odersky2016-12-221-0/+3
| |
* | Move test into the right directoryMartin Odersky2016-12-261-0/+9
|/
* Add neg test for multiversal eq Nullable fixFelix Mulder2016-12-191-0/+7
|
* Make errors are not swept under the carpetMartin Odersky2016-12-171-0/+21
| | | | | | | | | Typer#ensureReported's comment outlines an example where errors could go unreported, resulting in error trees after typer without any reported error messages. This commit makes sure that at least one error is reported if a tree node has an error type. Fixes #1802.
* Merge pull request #1813 from dotty-staging/fix-#1806Dmitry Petrashko2016-12-161-0/+7
|\ | | | | Fix #1806: Define outer accessors at the right phase
| * Test caseMartin Odersky2016-12-151-0/+7
| |
* | Merge pull request #1785 from dotty-staging/fix-#1784odersky2016-12-151-0/+7
|\ \ | | | | | | Fix #1784: allow to omit types for local implicit vals
| * | Fix neg test caseMartin Odersky2016-12-121-1/+1
| | | | | | | | | | | | Needed an // error annotation
| * | Better diagnosis for cyclic references caused by implicit searchMartin Odersky2016-12-121-0/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | Since we now allow to drop the explicit type of a local implicit val it can happen that this causes a cyclic reference, namely when the typechecking of the right-hand side involves an implicit search. It's unpractical and fragile to avoid this. Instead we give now a nice error message explaining the problem and how to fix it in source code.
* | | Merge pull request #1682 from dotty-staging/vclassodersky2016-12-153-1/+3
|\ \ \ | | | | | | | | Fix checks related to value classes
| * | | fix test i705-inner-value-class2.scalaliu fengyun2016-11-241-1/+1
| | | |
| * | | fix failing neg testsliu fengyun2016-11-242-2/+2
| | | |
| * | | fix #1642: disallow value classe wrapping value classliu fengyun2016-11-242-1/+2
| | | |
| * | | fix #1670: move the check of value class to typerliu fengyun2016-11-241-0/+1
| | | |
* | | | Merge pull request #1780 from dotty-staging/fix-i1779odersky2016-12-151-0/+13
|\ \ \ \ | | | | | | | | | | fix #1779: support $_ and $_id in interpolated string
| * | | | only allow $_ in patternsliu fengyun2016-12-121-0/+13
| | |/ / | |/| |
* | | | More tests and other odds and endMartin Odersky2016-12-141-0/+20
| |_|/ |/| | | | | | | | | | | | | | - Add tests that work to pos/neg, tests that don't work yet to pending/pos/neg. - Also, change .gitignore to allow for a local directory. - Also add a draft page to the docs.
* | | Fix #1786: support use package object in fun callliu fengyun2016-12-131-0/+17
|/ /
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-08 09:29:49 +0000