aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1550 from dotty-staging/union-typesGuillaume Martres2016-10-1129-183/+273
|\ | | | | True union types
| * Add test caseMartin Odersky2016-10-111-0/+6
| |
| * Fix cutting problemMartin Odersky2016-10-112-3/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | Test case: orInf.scala. This showed a problem where an `either` operation had to arbitrarily pick one constraint over another, leading to a type error down the line. What happened was that a `constrainResult` generated the constraint Set[A] <: Set[String] | Set[Int] But this constraint cannot be simplified without a cut and a resulting loss of information. We avoid the problem by not constraining the result if the prototype is a disjunction.
| * Drop dotty.language from DefinitionsMartin Odersky2016-10-113-7/+4
| |
| * Don't report double def errors if symbol's type is erroneousMartin Odersky2016-10-111-1/+2
| | | | | | | | This happened for singletonOrs, and led to spurious errors there.
| * Disallow singleton types in unionsMartin Odersky2016-10-113-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 functionalityMartin Odersky2016-10-112-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 TreeCheckerMartin Odersky2016-10-111-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 testsMartin Odersky2016-10-117-39/+39
| |
| * Remove unused language optionMartin Odersky2016-10-111-9/+0
| | | | | | | | In fact all of dotty.language can be removed.
| * 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 #1582 from cvogt/patch-2Felix Mulder2016-10-111-0/+1
|\ | | | | linking cbt usage, merge after #1581
| * linking cbt usage, merge after #1581Jan Christopher Vogt2016-10-111-0/+1
| |
* | Merge pull request #1581 from cvogt/patch-1Felix Mulder2016-10-111-0/+19
|\ \ | |/ |/| cbt dotty usage
| * cbt dotty usageJan Christopher Vogt2016-10-111-0/+19
|/
* Merge pull request #1578 from MasseGuillaume/topic/use-envFelix Mulder2016-10-113-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/bashGuillaume Massé2016-10-113-3/+3
|/
* Merge pull request #1521 from felixmulder/topic/better-errormessagesFelix Mulder2016-10-1046-419/+1186
|\ | | | | Operation beautify error messages
| * Adopt delegating reporter to new schemeFelix Mulder2016-10-101-13/+15
| |
| * Add Levenshtein distance for member values and typesFelix Mulder2016-10-103-4/+76
| |
| * 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-106-40/+26
| |
| * Improve positions for MemberDefs using `namePos`Felix Mulder2016-10-1016-46/+82
| |
| * Handle multiline messages in ConsoleReporterFelix Mulder2016-10-105-75/+90
| |
| * 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-106-44/+40
| |
| * Fix TypeMismatch not getting nonsensical tags in some casesFelix Mulder2016-10-104-15/+15
| | | | | | | | Thanks @smarter!
| * Don't force Message twice in MessageContainerFelix Mulder2016-10-102-2/+2
| |
| * Fix reporting of ErrorTypes in highlighted segmentsFelix Mulder2016-10-109-43/+55
| |
| * Add `dotty.jar` to gitignoreFelix Mulder2016-10-101-1/+1
| |
| * Make `typeDiff` aware of placeholder typesFelix Mulder2016-10-103-28/+45
| |
| * Refactor explanation interpolatorFelix Mulder2016-10-1010-108/+154
| |
| * 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.
| * Fix #1525: start repl if first arg to dotr starts with hyphenFelix Mulder2016-10-101-0/+4
| |
| * 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
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 23:26:00 +0000