aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | Refine mergeEntriesMartin Odersky2016-10-111-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | If entries are type variables, we have to check their instances for equality. This came up onder the new or handling scheme.
* | | | | | Handle feature interaction between subtyping or types and hk typesMartin Odersky2016-10-111-2/+12
| | | | | |
* | | | | | Keep or typesMartin Odersky2016-10-115-82/+110
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Don't replace them by their dominators, unless one of the following holds: - language:Scala2 mode is on - we are at the point of findMember selection - we compare with a higher-kinded application This means approximateUnion is now split into harmonizeUnion and orDominator which each implement one of the former's two functionalities.
* | | | | | Change default of unsafe Config optionMartin Odersky2016-10-111-2/+6
| | | | | |
* | | | | | Reformatting to avoid a long lineMartin Odersky2016-10-111-1/+4
| | | | | |
* | | | | | Fix non-sensical codeMartin Odersky2016-10-111-1/+4
| |/ / / / |/| | | | | | | | | | | | | | | | | | | | | | | | Replacing or types by their dominators and implicit conversions caused the code to do the right thing anyway, but with the arrival of true or-types, this became a static error.
* | | | | Merge pull request #1521 from felixmulder/topic/better-errormessagesFelix Mulder2016-10-1033-330/+1085
|\ \ \ \ \ | |_|_|_|/ |/| | | | Operation beautify error messages
| * | | | Add Levenshtein distance for member values and typesFelix Mulder2016-10-102-4/+71
| | | | |
| * | | | Remove unnecessary printing of hints for `-explain`Felix Mulder2016-10-102-6/+9
| | | | |
| * | | | Fix TreeChecker mismatch stringFelix Mulder2016-10-101-4/+5
| | | | |
| * | | | Change `typeDiff` to highlight changes less than 50%Felix Mulder2016-10-102-11/+16
| | | | |
| * | | | Insert message "inline" into multiline code at pointFelix Mulder2016-10-106-36/+38
| | | | |
| * | | | Correct line extraction from SourcePositionFelix Mulder2016-10-102-14/+12
| | | | |
| * | | | Get rid of unnecessary fields in `MessageContainer`Felix Mulder2016-10-105-37/+26
| | | | |
| * | | | Improve positions for MemberDefs using `namePos`Felix Mulder2016-10-109-30/+66
| | | | |
| * | | | Handle multiline messages in ConsoleReporterFelix Mulder2016-10-103-19/+40
| | | | |
| * | | | Make reporter hint about existing explanationsFelix Mulder2016-10-101-1/+4
| | | | |
| * | | | Change Message#errorId to type IntFelix Mulder2016-10-103-11/+16
| | | | |
| * | | | Improve documentation for message frameworkFelix Mulder2016-10-103-10/+48
| | | | |
| * | | | Get rid of `kind` in `MessageContainer`Felix Mulder2016-10-105-41/+40
| | | | |
| * | | | Fix TypeMismatch not getting nonsensical tags in some casesFelix Mulder2016-10-102-5/+5
| | | | | | | | | | | | | | | | | | | | Thanks @smarter!
| * | | | Don't force Message twice in MessageContainerFelix Mulder2016-10-102-2/+2
| | | | |
| * | | | Fix reporting of ErrorTypes in highlighted segmentsFelix Mulder2016-10-107-33/+45
| | | | |
| * | | | Make `typeDiff` aware of placeholder typesFelix Mulder2016-10-102-21/+38
| | | | |
| * | | | Refactor explanation interpolatorFelix Mulder2016-10-107-69/+120
| | | | |
| * | | | Unrainbow syntax highlightingFelix Mulder2016-10-101-1/+3
| | | | |
| * | | | Add basic diffing for shown valuesFelix Mulder2016-10-101-3/+25
| | | | |
| * | | | Fix multiple parsing errors on e.g. `try 1`Felix Mulder2016-10-101-3/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The `CompilingInterpreter` will on a single compile run, make multiple parsings of the given line(s). This results in multiple warnings from the parser. As such, clear the warnings until the actual compile is performed.
| * | | | Indent 2 after newline in REPLFelix Mulder2016-10-102-5/+4
| | | | |
| * | | | Better operator highlightingFelix Mulder2016-10-101-4/+5
| | | | |
| * | | | Fix underline positionFelix Mulder2016-10-101-1/+1
| | | | |
| * | | | Improve syntax highlighting on polymorphic defsFelix Mulder2016-10-101-2/+5
| | | | |
| * | | | Add deprecation message on `with` type operatorFelix Mulder2016-10-102-48/+78
| | | | |
| * | | | Improve syntax highlighting for ValDefsFelix Mulder2016-10-101-17/+37
| | | | |
| * | | | Remove duplication of console reportersFelix Mulder2016-10-105-141/+82
| | | | |
| * | | | Make relevant parts of compiler conform to new error handlingFelix Mulder2016-10-1018-334/+313
| | | | |
| * | | | Make `FancyConsoleReporter` and `Highlighting` obey color settingFelix Mulder2016-10-106-47/+64
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fancy console reporter and the string interpolator for highlighting now obey the color setting - this means that the next step towards unifying the reporters is to make sure the tests work with `FancyConsoleReporter` under the `-color:never` flag.
| * | | | Add modifiers to highlightingFelix Mulder2016-10-106-41/+49
| | | | |
| * | | | Add `MissingIdent` message to `Typer`Felix Mulder2016-10-101-2/+3
| | | | |
| * | | | Factor out explanation header to ReporterFelix Mulder2016-10-107-42/+77
| | | | |
| * | | | Add coloring utilFelix Mulder2016-10-101-0/+60
| | | | |
| * | | | Complete better structure to diagnostic messagesFelix Mulder2016-10-1015-150/+198
| | | | |
| * | | | Refactor common error messages to `diagnostic.basic`Felix Mulder2016-10-108-44/+118
| | | | |
| * | | | Rename Diagnostic to diagnostic.MessageFelix Mulder2016-10-109-50/+67
| | | | |
| * | | | Add ability to choose between fancy and non-fancy outputFelix Mulder2016-10-105-61/+110
| | | | |
| * | | | Rename `ConsoleReporter` => `FancyConsoleReporter`Felix Mulder2016-10-104-5/+5
| | | | |
| * | | | Add error kind to diagnosticFelix Mulder2016-10-104-33/+23
| | | | |
| * | | | Add smart comment formatting in ConsoleReporterFelix Mulder2016-10-101-7/+65
| | | | |
| * | | | Add missing star in docstringFelix Mulder2016-10-101-1/+1
| | | | |
| * | | | Change layout of ErrorMessagesFelix Mulder2016-10-107-120/+135
| | | | |