Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | Don't report double def errors if symbol's type is erroneous | Martin Odersky | 2016-10-11 | 1 | -1/+2 | |
| | | | | | | | | | | | | | | | | | | | | This happened for singletonOrs, and led to spurious errors there. | |||||
| * | | | | Disallow singleton types in unions | Martin Odersky | 2016-10-11 | 3 | -2/+17 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For the moment, we do not know how to handle something like 1 | 2 or x.type | y.type correctly. So it's better to disallow these situations until we find a proper solution. | |||||
| * | | | | Refactor Splitter functionality | Martin Odersky | 2016-10-11 | 2 | -30/+30 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Splitting or types is no longer needed with new scheme. Replacing idents with This nodes is better done in ExplicitSelf. So splitter now just distributes applications into and ifs. | |||||
| * | | | | Scrutinize selections in TreeChecker | Martin Odersky | 2016-10-11 | 1 | -4/+23 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Makes sure the symbol in the tree can be approximately reconstructed by calling member on the qualifier type. Approximately means: The two symbols might be different but one still overrides the other. | |||||
| * | | | | Adapt tests | Martin Odersky | 2016-10-11 | 7 | -39/+39 | |
| | | | | | ||||||
| * | | | | Remove unused language option | Martin Odersky | 2016-10-11 | 1 | -9/+0 | |
| | | | | | | | | | | | | | | | | | | | | In fact all of dotty.language can be removed. | |||||
| * | | | | Refine mergeEntries | Martin Odersky | 2016-10-11 | 1 | -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 types | Martin Odersky | 2016-10-11 | 1 | -2/+12 | |
| | | | | | ||||||
| * | | | | Keep or types | Martin Odersky | 2016-10-11 | 5 | -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 option | Martin Odersky | 2016-10-11 | 1 | -2/+6 | |
| | | | | | ||||||
| * | | | | Reformatting to avoid a long line | Martin Odersky | 2016-10-11 | 1 | -1/+4 | |
| | | | | | ||||||
| * | | | | Fix non-sensical code | Martin Odersky | 2016-10-11 | 1 | -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 #1582 from cvogt/patch-2 | Felix Mulder | 2016-10-11 | 1 | -0/+1 | |
|\ \ \ \ | | | | | | | | | | | linking cbt usage, merge after #1581 | |||||
| * | | | | linking cbt usage, merge after #1581 | Jan Christopher Vogt | 2016-10-11 | 1 | -0/+1 | |
| | | | | | ||||||
* | | | | | Merge pull request #1581 from cvogt/patch-1 | Felix Mulder | 2016-10-11 | 1 | -0/+19 | |
|\ \ \ \ \ | |/ / / / |/| | | | | cbt dotty usage | |||||
| * | | | | cbt dotty usage | Jan Christopher Vogt | 2016-10-11 | 1 | -0/+19 | |
|/ / / / | ||||||
* | | | | Merge pull request #1578 from MasseGuillaume/topic/use-env | Felix Mulder | 2016-10-11 | 3 | -3/+3 | |
|\ \ \ \ | |_|/ / |/| | | | use usr/bin/env bash since it's more general then /bin/bash | |||||
| * | | | use usr/bin/env bash since it's more general then /bin/bash | Guillaume Massé | 2016-10-11 | 3 | -3/+3 | |
|/ / / | ||||||
* | | | Merge pull request #1521 from felixmulder/topic/better-errormessages | Felix Mulder | 2016-10-10 | 46 | -419/+1186 | |
|\ \ \ | | | | | | | | | Operation beautify error messages | |||||
| * | | | Adopt delegating reporter to new scheme | Felix Mulder | 2016-10-10 | 1 | -13/+15 | |
| | | | | ||||||
| * | | | Add Levenshtein distance for member values and types | Felix Mulder | 2016-10-10 | 3 | -4/+76 | |
| | | | | ||||||
| * | | | Remove unnecessary printing of hints for `-explain` | Felix Mulder | 2016-10-10 | 2 | -6/+9 | |
| | | | | ||||||
| * | | | Fix TreeChecker mismatch string | Felix Mulder | 2016-10-10 | 1 | -4/+5 | |
| | | | | ||||||
| * | | | Change `typeDiff` to highlight changes less than 50% | Felix Mulder | 2016-10-10 | 2 | -11/+16 | |
| | | | | ||||||
| * | | | Insert message "inline" into multiline code at point | Felix Mulder | 2016-10-10 | 6 | -36/+38 | |
| | | | | ||||||
| * | | | Correct line extraction from SourcePosition | Felix Mulder | 2016-10-10 | 2 | -14/+12 | |
| | | | | ||||||
| * | | | Get rid of unnecessary fields in `MessageContainer` | Felix Mulder | 2016-10-10 | 6 | -40/+26 | |
| | | | | ||||||
| * | | | Improve positions for MemberDefs using `namePos` | Felix Mulder | 2016-10-10 | 16 | -46/+82 | |
| | | | | ||||||
| * | | | Handle multiline messages in ConsoleReporter | Felix Mulder | 2016-10-10 | 5 | -75/+90 | |
| | | | | ||||||
| * | | | Make reporter hint about existing explanations | Felix Mulder | 2016-10-10 | 1 | -1/+4 | |
| | | | | ||||||
| * | | | Change Message#errorId to type Int | Felix Mulder | 2016-10-10 | 3 | -11/+16 | |
| | | | | ||||||
| * | | | Improve documentation for message framework | Felix Mulder | 2016-10-10 | 3 | -10/+48 | |
| | | | | ||||||
| * | | | Get rid of `kind` in `MessageContainer` | Felix Mulder | 2016-10-10 | 6 | -44/+40 | |
| | | | | ||||||
| * | | | Fix TypeMismatch not getting nonsensical tags in some cases | Felix Mulder | 2016-10-10 | 4 | -15/+15 | |
| | | | | | | | | | | | | | | | | Thanks @smarter! | |||||
| * | | | Don't force Message twice in MessageContainer | Felix Mulder | 2016-10-10 | 2 | -2/+2 | |
| | | | | ||||||
| * | | | Fix reporting of ErrorTypes in highlighted segments | Felix Mulder | 2016-10-10 | 9 | -43/+55 | |
| | | | | ||||||
| * | | | Add `dotty.jar` to gitignore | Felix Mulder | 2016-10-10 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Make `typeDiff` aware of placeholder types | Felix Mulder | 2016-10-10 | 3 | -28/+45 | |
| | | | | ||||||
| * | | | Refactor explanation interpolator | Felix Mulder | 2016-10-10 | 10 | -108/+154 | |
| | | | | ||||||
| * | | | Unrainbow syntax highlighting | Felix Mulder | 2016-10-10 | 1 | -1/+3 | |
| | | | | ||||||
| * | | | Add basic diffing for shown values | Felix Mulder | 2016-10-10 | 1 | -3/+25 | |
| | | | | ||||||
| * | | | Fix multiple parsing errors on e.g. `try 1` | Felix Mulder | 2016-10-10 | 1 | -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. | |||||
| * | | | Fix #1525: start repl if first arg to dotr starts with hyphen | Felix Mulder | 2016-10-10 | 1 | -0/+4 | |
| | | | | ||||||
| * | | | Indent 2 after newline in REPL | Felix Mulder | 2016-10-10 | 2 | -5/+4 | |
| | | | | ||||||
| * | | | Better operator highlighting | Felix Mulder | 2016-10-10 | 1 | -4/+5 | |
| | | | | ||||||
| * | | | Fix underline position | Felix Mulder | 2016-10-10 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Improve syntax highlighting on polymorphic defs | Felix Mulder | 2016-10-10 | 1 | -2/+5 | |
| | | | | ||||||
| * | | | Add deprecation message on `with` type operator | Felix Mulder | 2016-10-10 | 2 | -48/+78 | |
| | | | | ||||||
| * | | | Improve syntax highlighting for ValDefs | Felix Mulder | 2016-10-10 | 1 | -17/+37 | |
| | | | | ||||||
| * | | | Remove duplication of console reporters | Felix Mulder | 2016-10-10 | 8 | -198/+148 | |
| | | | |