aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/reporting
Commit message (Collapse)AuthorAgeFilesLines
* Lazy entering of names with internal $'s in package scopesMartin Odersky2017-04-111-1/+1
| | | | | | | | | | | | | | | | Names with internal $'s are entered in package scopes only if - we look for a name with internal $'s. - we want to know all the members of a package scope This optimization seems to be fairly effective. The typical range of package scopes that need $-names is between 0 and 20%. The optimization seems to improve execution time of all unit tests by about 3%. Also. drop the inheritance from Iterable to Scope. The reason is that we now need a context parameter for toList and other Iterable operations which makes them impossible to fit into the Iterable framework.
* Break out functionality from MethodTypeMartin Odersky2017-04-061-2/+2
| | | | | and generalize MethodParam to ParamRef, and TypeParamInfo to ParamInfo
* More fine-grained distinctions when flags are defined.Martin Odersky2017-04-041-1/+1
| | | | | | | | | | | | | | Flags like Trait are in fact not always defined when a symbol is created. For symbols loaded from class files, this flag, and some other is defined only once the classfile has been loaded. But this happens in general before the symbol is completed. We model this distinction by separating from the `FromStartFlags` set a new set `AfterLoadFlags` and distinguishing between the two sets in `SymDenotations#is`. Test case is enum-Option.scala. This erroneously complained before that `Enum` was not a trait.
* Make DiffUtil's rendering readable in logsFelix Mulder2017-03-311-1/+1
|
* Consolidate test reporters in `TestReporter` always dumping log fileFelix Mulder2017-03-292-4/+1
|
* Fix varargs in methods and constructors (#2135)Igor Mielientiev2017-03-221-0/+12
| | | | | | | * Fix varargs in methods (Issue: #1625) * Fix minor comments * Change varargs parameter message * Fix failed test, fix case for constructor
* Move 'invalid super qualifier' error to new error format.Abel Nieto2017-03-172-0/+18
| | | | | | | | | As part of https://github.com/lampepfl/dotty/issues/1589, use the new error message for static super references where the qualifier isn't a parent of the class. Tested: Added unit test.
* Merge pull request #2049 from ennru/ennru_RecursiveNeedsTypeodersky2017-03-092-1/+50
|\ | | | | Change "recursive/cyclic definitions needs type" errors to Message
| * Analysis of overloaded or recursive is harder than expectedEnno Runne2017-03-072-19/+13
| | | | | | | | Fall-back to reporting "overloaded or recursive needs type".
| * More detail in error messagesEnno Runne2017-03-052-4/+26
| | | | | | | | | | | | 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.
| * Explanations for recursive/cyclic type requirementsEnno Runne2017-03-041-21/+23
| |
| * Merge branch 'master' of https://github.com/lampepfl/dotty into ↵Enno Runne2017-03-023-15/+50
| |\ | | | | | | | | | ennru_RecursiveNeedsType
| * | Change 'overloaded/recursive method/value needs type' to Message (see #2026)Enno Runne2017-02-242-0/+31
| | |
* | | FixesMartin Odersky2017-03-052-15/+1
| |/ |/| | | | | | | (1) Drop unused error message (2) Drop test which is now illegal
* | Merge pull request #2042 from dotty-staging/matsuriFelix Mulder2017-03-011-12/+32
|\ \ | | | | | | Last changes before presentation at Matsuri
| * | Message rendering: colorize positional splice, then splitFelix Mulder2017-03-011-12/+32
| |/
* / Change 'private, protected, or this expected' to MessageEnno Runne2017-02-232-0/+15
|/
* Merge pull request #2012 from ennru/ennru_CantInstantiateAbstractFelix Mulder2017-02-222-1/+22
|\ | | | | Change 'is abstract; cannot be instantiated' to Message
| * Added explanation for CantInstatiateAbstractClassOrTraitEnno Runne2017-02-221-1/+12
| |
| * Change 'is abstract; cannot be instantiated' to MessageEnno Runne2017-02-202-1/+11
| |
* | Merge pull request #1997 from dotty-staging/fix-#1992odersky2017-02-221-1/+1
|\ \ | | | | | | Fix off-by-one error in forward reference checking
| * | Fix off-by-one error in forward reference checkingMartin Odersky2017-02-181-1/+1
| | |
* | | Don't inline when errors are detectedMartin Odersky2017-02-211-16/+0
| |/ |/| | | | | | | | | | | | | | | 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.
* | Use Message ID enumEnno Runne2017-02-202-2/+3
| |
* | Incorporated comments from @felixmulderEnno Runne2017-02-201-7/+8
| |
* | Change 'mixed left- and right-associative operators' to MessageEnno Runne2017-02-201-0/+33
| |
* | Use enum for error messages IDs.Nicolas Stucki2017-02-164-52/+114
|/
* Change '... expected but found ...' to MessageEnno Runne2017-02-142-2/+37
|
* Ennru forward reference error (#1973)Enno2017-02-141-0/+19
| | | | | | | | | | * Change 'forward reference extending over the definition' to Message * Change 'forward reference extending over the definition' to Message * pesky file should not be included * Change 'forward reference extending over the definition' to Message (test case)
* Change 'overrides nothing' to report via Message (see #1965) (#1968)Enno2017-02-121-0/+32
| | | | | | * Change 'overrides nothing' to report via Message, split into two different messages * Change 'overrides nothing' to report via Message, split into two different messages
* Give context for code examples to ease understandingJonathan Brachthäuser2017-01-081-9/+18
|
* Add error message for dangling this in path selectionsJonathan Brachthäuser2017-01-081-0/+27
| | | | | | | | | | | | The following examples trigger the error message: val x: Foo.this = ??? // Also triggers the error: import foo.this // Additionally, also slays the compiler type X = Foo.this.type
* Add error message for unbound wildcard type.Jarrod Janssen2017-01-021-0/+43
|
* Add error messages - Parsers.scala:712 (#1842)Adam Trousdale2016-12-211-2/+24
| | | | | * Add error messages - Parsers.scala:712 * Tidy up imports and formatting
* Fix "wrong number of args" reportingMartin Odersky2016-12-171-2/+4
| | | | | | "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.
* Add CyclicImplicitVal error to messages (reverted from commit ↵Martin Odersky2016-12-151-11/+0
| | | | 559e49317912ce52c51e295346cebcafbb69462d)
* Add CyclicImplicitVal error to messagesFelix Mulder2016-12-131-0/+11
|
* Drop explicit types for local implicit valsMartin Odersky2016-12-121-1/+1
| | | | | Drop explicit types for local implicit vals of type Context and Position. Exercises the functionality and shortens the code.
* Better reporting of nested implicit failuresMartin Odersky2016-11-242-7/+10
| | | | | Error messages of nested implicit failures are now reported with the top-level message if -explaintypes is set.
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-2210-0/+1732
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-18 03:35:43 +0000