aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/ErrorReporting.scala
Commit message (Collapse)AuthorAgeFilesLines
* Further refactoringsMartin Odersky2017-04-061-1/+1
| | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations
* replace derived{Method,Poly}Type with derivedLambdaTypeMartin Odersky2017-04-061-1/+1
|
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-2/+2
|
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-1/+1
| | | | | | MethodTypes have paramTypes whereas PolyTypes have paramBounds. We now harmonize by alling both paramInfos, and parameterizing types that will become common to both.
* Break out functionality from MethodTypeMartin Odersky2017-04-061-1/+1
| | | | | and generalize MethodParam to ParamRef, and TypeParamInfo to ParamInfo
* Analysis of overloaded or recursive is harder than expectedEnno Runne2017-03-071-4/+1
| | | | Fall-back to reporting "overloaded or recursive needs type".
* More detail in error messagesEnno Runne2017-03-051-3/+6
| | | | | | Split error messages for recursive method and overloaded method needs type into two (but did not solve the analysis which to show). Make CyclicReference type error construct corresponding error message.
* Change 'overloaded/recursive method/value needs type' to Message (see #2026)Enno Runne2017-02-241-6/+4
|
* Fix indentationMartin Odersky2017-02-231-4/+4
|
* Better error messages for missing type of recursive definitionsMartin Odersky2017-02-231-11/+4
|
* Better error message for Java/Scala method discrepanciesMartin Odersky2017-02-141-2/+14
|
* Merge pull request #1775 from dotty-staging/add-implicit-funtypesodersky2016-12-181-2/+2
|\ | | | | Add implicit function types
| * Fix "wrong number of args" reportingMartin Odersky2016-12-171-2/+2
| | | | | | | | | | | | "Wrong number of args" only works for type arguments but was called also for term arguments. Ideally we should have a WrongNumberOfArgs message that works for both, but this will take some refactoring.
* | Make errors are not swept under the carpetMartin Odersky2016-12-171-1/+1
|/ | | | | | | | | 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.
* Add CyclicImplicitVal error to messages (reverted from commit ↵Martin Odersky2016-12-151-2/+4
| | | | 559e49317912ce52c51e295346cebcafbb69462d)
* Add CyclicImplicitVal error to messagesFelix Mulder2016-12-131-4/+2
|
* Better diagnosis for cyclic references caused by implicit searchMartin Odersky2016-12-121-1/+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.
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+153
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 04:47:09 +0000