aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Test caseMartin Odersky2016-05-182-1/+42
|
* ResolveOverloaded should handle alternatives that are the same TermRefMartin Odersky2016-05-181-6/+10
| | | | | This happens once we do not merge methods with the same signature coming from the same class.
* Don't copy Any constructor to Object in ErasureMartin Odersky2016-05-181-3/+9
| | | | | | | | Once we do not merge methods with same signature anymore we got an ambiguous overload between the constructors of Any and Object after erasure (when all Any methods are moved to Object). To avoid this, we map the Any constructor to the Object constructor after erasure.
* Avoid merging denotations of different symbols in same classMartin Odersky2016-05-181-1/+8
| | | | | | | | #1240 shows that we need to detect ambiguous overloads of methods coming from the same base class (with different signatures there) that have the same signature in some deriving class. This was undetected before because the two methods were simply merged into one overloaded alternative.
* Merge pull request #1233 from felixmulder/topic/repl-syntax-highlightingDmitry Petrashko2016-05-1028-80/+2431
|\ | | | | Syntax highlighting for REPL using ammonite as base instead of JLine
| * Fix keywords sometimes not highlighted in multilnFelix Mulder2016-04-291-2/+2
| | | | | | | | | | When enter pressed immediately after keyword, the highlighting would be aborted
| * Add Ammonite's MIT licenseFelix Mulder2016-04-2915-231/+248
| |
| * Rename old DottyRepl (used for power mode) using ILoop to TypeStealerFelix Mulder2016-04-291-1/+1
| |
| * Fix stdin/out for repl launched by SBTFelix Mulder2016-04-281-0/+4
| | | | | | | | | | Launching the repl with: `runMain dotty.tools.dotc.repl.Main` is now working correctly
| * Revert Scanners and Tokens to their original formFelix Mulder2016-04-285-81/+14
| | | | | | | | | | Since we decided to go with the non dotty-scanner approach these are unnecessary to have altered, might just as well revert them.
| * Fix `:...` commands printing erroneous messages on next newlineFelix Mulder2016-04-282-2/+2
| |
| * Fix error messages not being doubled and being on a new lineFelix Mulder2016-04-283-22/+24
| |
| * Fix highlighting tokens after newline predated by '='Felix Mulder2016-04-282-4/+4
| |
| * Fix interpret dummy line before prompt displayedFelix Mulder2016-04-281-3/+2
| |
| * Stop interpreter from interpreting twice on enterFelix Mulder2016-04-284-5/+39
| |
| * Add multiline support using ammonite multilineFilterFelix Mulder2016-04-288-95/+83
| |
| * Highlight comments, remove scanner wrapping syntax highlighterFelix Mulder2016-04-281-242/+119
| |
| * Initial implementation featuring two different highlightersFelix Mulder2016-04-2822-26/+2523
| | | | | | | | | | | | | | | | | | | | | | One was implemted by hand and the other by using dotty's parser. The one built by hand is shorter, and behaves correctly. The scanner one is unfortunately not ready for testing - there are too many things that are workarounds for it to be a good solution as of now The code added from Ammonite is licensed under MIT, not sure where to put the license - but will add it once I know.
* | Merge pull request #1248 from lampepfl/DarkDimius-patch-6Dmitry Petrashko2016-05-101-19/+65
|\ \ | | | | | | Update Readme.md for ScalaDays
| * | Update README.mdDmitry Petrashko2016-05-101-1/+1
| | |
| * | Update README.mdDmitry Petrashko2016-05-091-0/+1
| | |
| * | Update README.mdDmitry Petrashko2016-05-091-3/+3
| | |
| * | Update README.mdDmitry Petrashko2016-05-091-28/+29
| | |
| * | Update README.mdDmitry Petrashko2016-05-091-2/+3
| | |
| * | Update README.mdDmitry Petrashko2016-05-091-2/+2
| | |
| * | Update Readme.md for ScalaDaysDmitry Petrashko2016-05-091-19/+62
|/ / | | | | @odersky please review
* | Merge pull request #1245 from dotty-staging/elimselfDmitry Petrashko2016-05-041-2/+16
|\ \ | | | | | | eliminate self symbol in Template and ClassInfo
| * | eliminate self symbol in Template and ClassInfoliu fengyun2016-05-021-2/+16
|/ /
* | Merge pull request #1241 from dotty-staging/fix-#1222Dmitry Petrashko2016-04-294-7/+20
|\ \ | |/ |/| Transform annotations only if defined in current run
| * Ensure more things are completedMartin Odersky2016-04-291-1/+5
| | | | | | | | | | | | | | As noticed by @smarter we need to ensure that classes owning derived type params are completed, so that trees get the proper symbol attachments. This triggered when I changed annotation transformers - I have no idea whether how two could be related, though.
| * Refine todo commentMartin Odersky2016-04-292-2/+4
| |
| * Transform annotations only if defined in current runMartin Odersky2016-04-291-4/+11
|/ | | | | | | | There's no point transforming annotations that come from classfiles. It's inefficient to do so and it's also risky because it means we'd have to make sense of Scala-2 generated trees. This should avoid the error in #1222.
* Merge pull request #1238 from dotty-staging/fix-#1235odersky2016-04-2813-55/+98
|\ | | | | Three fixes prompted by #1235
| * Allow dependent method type for unapply.Martin Odersky2016-04-272-3/+16
| |
| * Revert: Better error diagnostics for "not an extractor" errors.Martin Odersky2016-04-272-44/+2
| | | | | | | | | | No longer needed because we are going to allow dependent method types in extractors, and the unary requirement is kind of obvious.
| * Dealias more types in resultTypeMartin Odersky2016-04-271-26/+31
| | | | | | | | | | Since we now recognize more false dependencies, we have to dealias the new dependencies accordingly.
| * Add FurtureDefsOK for isBottomTypeMartin Odersky2016-04-271-1/+7
| | | | | | | | | | | | Triggered by change in TypeComparer. I guess we should think of dropping the NotDefiendHere tests, for a long time they gave us only false negatives.
| * Better error diagnostics for "not an extractor" errors.Martin Odersky2016-04-272-2/+44
| | | | | | | | | | Now explains in detail why an possibly found unapply or unapplySeq is ineligible.
| * Test caseMartin Odersky2016-04-271-0/+16
| |
| * Fix misprediction of dependent method type status.Martin Odersky2016-04-271-7/+10
| | | | | | | | | | | | | | | | | | #1235.scala contains a case of a method type of the form (x: T) ... x.tail.N ... where N is an alias. We need to follow the alias to prevent a mischaracterization that this is a dependent method type.
| * Avoid forming ???.T type.Martin Odersky2016-04-271-1/+2
| | | | | | | | | | | | More generally, avoid forming a type selection on a term prefix which has a bottom class as a type. There might be other places where we have to take similar measures. For now, this one fixes #1235.
| * Rename Reporting#println -> Reporting#echoMartin Odersky2016-04-278-27/+26
|/ | | | | | | | | | There's a trap otherwise that, when in a class inheriting from Context (and with it Reporting) a call to println will go to this.println and therefore might not print at all, if the current context buffers messages. I lost a lot of time on this on several occasions when I scratched my head why a simple debug println would not show. Better avoid this in the future for myself and others.
* Merge pull request #1237 from dotty-staging/vc-ofDimDmitry Petrashko2016-04-261-4/+6
|\ | | | | arrayConstructors: do not rewrite ofDim for arrays of value classes
| * arrayConstructors: do not rewrite ofDim for arrays of value classesVladimirNik2016-04-261-4/+6
| |
* | Merge pull request #1231 from dotty-staging/fix-equalityodersky2016-04-269-10/+130
|\ \ | | | | | | Fixes related to equality strawman
| * \ Merge branch 'master' into fix-equalityodersky2016-04-264-5/+50
| |\ \ | |/ / |/| |
* | | Merge pull request #1227 from dotty-staging/implement-1221Dmitry Petrashko2016-04-264-5/+50
|\ \ \ | |_|/ |/| | Allow to specify per-callsite @tailrec annotation.
| * | Fix test failures in tailcall due to name clashes.Dmitry Petrashko2016-04-212-2/+2
| | |
| * | Add neg-test for method with @tailrec callsites that is not final.Dmitry Petrashko2016-04-181-0/+10
| | |
| * | Tailrec:report error if method containing @tailrec callsite isn't finalDmitry Petrashko2016-04-181-2/+16
| | |