aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Don't set PureInterface when a default param is presentGuillaume Martres2017-03-082-5/+13
| | | | | | | | | | | The default param will be desugared into a method with a body, so setting PureInterface would be wrong. The enclosed test previously failed with a pickling difference, because the unpickler correctly decided to not set the PureInterface flag since it saw the default param method. This fixes the tasty_dotc_util which failed since the last commit because FreshNameCreator was now incorrectly recognized as a PureInterface.
* Remove unused methods depending on scala-reflectGuillaume Martres2017-03-081-5/+0
|
* Disable most tests that depend on scala-reflectGuillaume Martres2017-03-086-0/+0
|
* Add Scala2Flags to replace our use of scala-reflect FlagsGuillaume Martres2017-03-082-18/+110
|
* Remove uses of StringOps from scala-reflectGuillaume Martres2017-03-086-8/+18
|
* Add FatalError from scala.reflectGuillaume Martres2017-03-083-5/+4
|
* Add PickleFormat from scala-reflectGuillaume Martres2017-03-083-2/+229
|
* Remove uses of Collections from scala-reflectGuillaume Martres2017-03-083-10/+5
|
* Use Chars object from dotty instead of scala.reflectGuillaume Martres2017-03-077-8/+9
|
* DottyPredef: remove dummy typeTag implicitGuillaume Martres2017-03-071-3/+0
| | | | This avoids a dependency on the scala-reflect jar
* Remove unused scala.reflect importsGuillaume Martres2017-03-076-7/+0
|
* Merge pull request #2061 from dotty-staging/fix/overcompilation-apiGuillaume Martres2017-03-071-2/+2
|\ | | | | Fix incremental overcompilation due to instabilities
| * Fix incremental overcompilation due to instabilitiesGuillaume Martres2017-03-071-2/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The output of ExtractAPI should be stable, otherwise sbt might incorrectly conclude that some API changed because its hash is different, even though the source hasn't changed. This commit fixes two cases where this might happen: - package prefixes in NamedTypes are unstable, we already worked around this by normalizing them, but only for classes, we now always do it. - We use a simplified representation for `_ >: Nothing <: Any`, this is now checked using `isDirectRef` instead of referential equality on types since there is more than one way to represent `Nothing` and `Any`. Both of these issues were found while compiling dotty with `dotty-compiler-bootstrapped/compile` and making small changes.
* | Merge pull request #2059 from dotty-staging/fix/inline-EmptyTreeodersky2017-03-072-2/+18
|\ \ | |/ |/| Fix #2056: Backend crash when inlined method contains try
| * Fix #2056: Backend crash when inlined method contains tryGuillaume Martres2017-03-072-2/+18
| | | | | | | | | | | | In various places we do "case EmptyTree =>", since Tree#equals uses reference equality this means that EmptyTree should never be copied, otherwise some other code path will be taken.
* | Merge pull request #2053 from niktrop/splitOnCharFelix Mulder2017-03-061-1/+3
|\ \ | | | | | | fixed PatternSyntaxException on Windows
| * | fixed PatternSyntaxException on WindowsNikolay.Tropin2017-03-061-1/+3
| | |
* | | Merge pull request #2050 from dotty-staging/drop-named-paramodersky2017-03-0519-246/+60
|\ \ \ | |_|/ |/| | Drop named type parameters in classes
| * | Update repl check filesMartin Odersky2017-03-052-3/+3
| | | | | | | | | | | | | | | | | | Deleting an error message changes all subsequent error message umbers, which means that REPL tests were invalidated. This is a bit unfortunate from a testing standpoint.
| * | FixesMartin Odersky2017-03-053-18/+1
| | | | | | | | | | | | | | | (1) Drop unused error message (2) Drop test which is now illegal
| * | Drop named type parameters in classesMartin Odersky2017-03-0414-225/+56
|/ / | | | | | | | | | | | | | | | | | | | | | | | | Drop the [type T] syntax, and what's associated to make it work. Motivation: It's an alternative way of doing things for which there seems to be little need. The implementation was provisional and bitrotted during the various iterations to introduce higher-kinded types. So in the end the complxity-cost for language and compiler was not worth the added benefit that [type T] parameters provide. Noe that we still accept _named arguments_ [A = T] in expressions; these are useful for specifying some parameters and letting others be inferred.
* | Merge pull request #2039 from dotty-staging/add-refined-assertNicolas Stucki2017-03-031-0/+3
|\ \ | | | | | | Add assert that refine infos are legal wrt refined names
| * | Remove testMartin Odersky2017-03-032-27/+0
| | | | | | | | | | | | | | | | | | It did not work in the CI because the compiler was not found on the run classpath. In any case, the added assert helped get the callgraph to compile, so it's validated and we should get the assert in without needing the extra test.
| * | Add assert that refine infos are legal wrt refined namesMartin Odersky2017-02-273-0/+30
| | |
* | | Merge pull request #2031 from dotty-staging/fix-#2030odersky2017-03-036-10/+14
|\ \ \ | | | | | | | | Fix #2030: Don't chain implicit conversions
| * | | Test polishingMartin Odersky2017-02-272-8/+6
| | | |
| * | | Don't chain implicit conversionsMartin Odersky2017-02-274-2/+8
| |/ / | | | | | | | | | | | | | | | | | | When inferring a view, we are not allowed to use another implicit conversion to adapt its result. Fixing this revealed another problem where we have to re-enable implicit conversions when pre-typing arguments in overloading resolution.
* | | Merge pull request #2044 from dotty-staging/abstract-type-in-objectodersky2017-03-033-3/+4
|\ \ \ | |_|/ |/| | Allow abstract type members in objects.
| * | Allow abstract type members in objects.Nicolas Stucki2017-03-013-3/+4
|/ /
* | Merge pull request #2042 from dotty-staging/matsuriFelix Mulder2017-03-0113-35/+98
|\ \ | | | | | | Last changes before presentation at Matsuri
| * | Message rendering: colorize positional splice, then splitFelix Mulder2017-03-014-18/+56
| | |
| * | Give `<blockquote>` some nicer cssFelix Mulder2017-02-241-0/+6
| | |
| * | Fix top sidebar entities not being renderedFelix Mulder2017-02-241-0/+1
| | |
| * | Add type params to type aliasesFelix Mulder2017-02-247-17/+35
| | |
* | | Merge pull request #2028 from ennru/ennru_AnnotatedPrimaryConstructorRequiresFelix Mulder2017-03-014-3/+33
|\ \ \ | | | | | | | | Change 'private, protected, or this expected' to Message
| * | | Better location to indicate the errorEnno Runne2017-02-271-1/+1
| | | |
| * | | Change 'private, protected, or this expected' to MessageEnno Runne2017-02-234-3/+33
| | | |
* | | | Merge pull request #2035 from dotty-staging/fix-#2033Guillaume Martres2017-02-282-1/+31
|\ \ \ \ | | | | | | | | | | Fix #2033: Improve handling of unresolved overloaded arguments
| * | | | Fix #2033: Improve handling of unresolved overloaded argumentsMartin Odersky2017-02-272-1/+31
| | |_|/ | |/| |
* | | | Merge pull request #2011 from dotty-staging/hmap-testodersky2017-02-271-0/+97
|\ \ \ \ | | | | | | | | | | HMap test case
| * | | | Update HMap testOlivier Blanvillain2017-02-201-44/+24
| | | | |
| * | | | Add HMap test caseOlivier Blanvillain2017-02-201-0/+117
| | | | |
* | | | | Merge pull request #2036 from ↵odersky2017-02-271-7/+0
|\ \ \ \ \ | |_|/ / / |/| | | | | | | | | | | | | | dotty-staging/remove-duplicate-code-for-wrapArrayMethodName Remove wrapArrayMethodName from defn.
| * | | | Remove wrapArrayMethodName from defn.Nicolas Stucki2017-02-271-7/+0
|/ / / / | | | | | | | | | | | | Note that it is never used and the same method exists in transform.TreeGen
* | | | Merge pull request #2027 from dotty-staging/fix-tests-eclipseodersky2017-02-251-1/+1
|\ \ \ \ | | | | | | | | | | Fix import which produces flakey test results on Eclipse
| * | | | Fix import which produces flakey test resultsMartin Odersky2017-02-251-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | Previous import gave test errors under eclipse. Probably due to some stray directory on the classpath.
* | | | | Merge pull request #1993 from dotty-staging/add-lazy-implicitsodersky2017-02-259-9/+200
|\ \ \ \ \ | | | | | | | | | | | | Treat implicit by-name arguments as lazy values
| * | | | | Fix typosMartin Odersky2017-02-211-3/+3
| | | | | |
| * | | | | PolishingMartin Odersky2017-02-181-5/+2
| | | | | |
| * | | | | Treat implicit by-name arguments as lazy valuesMartin Odersky2017-02-179-9/+203
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | With the previous rules, the two test cases produce a diverging implicit expansion. We avoid this by creating for every implicit by-name argument of type T a lazy implicit value of the same type. The implicit value is visible for all nested implicit searches of by-name arguments. That way, we tie the knot and obtain a recursive lazy value instead of a diverging expansion.
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 21:56:35 +0000