aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Fix #1789: Fix signature of unit result typeMartin Odersky2016-12-181-2/+4
| | | | was scala.BoxedUnit, should be scala.Unit.
* Merge pull request #1819 from dotty-staging/fix-#1803Nicolas Stucki2016-12-174-5/+29
|\ | | | | Fix #1803: Infer type parameters of anonymous class parents from expected type
| * Infer type parameters of anonymous class parents from expected typeMartin Odersky2016-12-174-5/+29
| | | | | | | | | | | | | | If a parent type of an anonymous class is an Ident or Select which refers to a parameterized type, use the expected type to infer its type parameters. Fixes #1803.
* | Merge pull request #1815 from dotty-staging/fix-#1797Nicolas Stucki2016-12-172-2/+4
|\ \ | | | | | | Fix #1797: Allow case class params with names _1, _2, ...
| * | Fix #1797: Allow case class params with names _1, _2, ...Martin Odersky2016-12-152-2/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This was not possible before because it clashed with the automatically generated name of the accessor. We now allow it, by simply taking the parameter(accessor) itself as the case class accessor if it already has that name. But you still cannot write case class C(_2: Int, _1: String) nor should you be able to do this.
* | | Merge pull request #1767 from dotty-staging/fix-#1755odersky2016-12-172-2/+42
|\ \ \ | |_|/ |/| | Fix #1755: Make sure references in outer args are accessible
| * | Fix #1755: Make sure references in outer args are accessibleMartin Odersky2016-12-022-2/+42
| | | | | | | | | | | | | | | | | | | | | Needed a fixup action in ExplicitOuter to avoid references to module's This from outside their scope. The problem is fixed, but I wish I understood better the root cause.
* | | Merge pull request #1816 from dotty-staging/fix-#1799odersky2016-12-171-1/+1
|\ \ \ | | | | | | | | Fix #1799: Make compilation of FunctionN traits possible.
| * | | Fix #1799: Make compilation of FunctionN traits possible.Martin Odersky2016-12-161-1/+1
| | | |
* | | | Merge pull request #1811 from dotty-staging/fix-1810odersky2016-12-161-1/+1
|\ \ \ \ | |/ / / |/| | | Fix #1810 LazyVals should use changeOwnerAfter.
| * | | Fix #1810 LazyVals should use changeOwnerAfter.Dmitry Petrashko2016-12-151-1/+1
| | | |
* | | | Merge pull request #1763 from dotty-staging/fix/annotationsDmitry Petrashko2016-12-169-22/+81
|\ \ \ \ | | | | | | | | | | Fix emission of annotations
| * | | | Fix #1741: sbt.ExtractAPI: extract annotationsGuillaume Martres2016-12-027-6/+64
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This is necessary for correct incremental recompilation but is also used by sbt to find tests to run (for junit they should be annotated @org.junit.Test). I added an sbt scripted test to verify that JUnit now works, to run it: $ sbt > scripted discovery/test-discovery
| * | | | Fix transformation of inline body annotationsGuillaume Martres2016-11-301-3/+7
| | | | | | | | | | | | | | | | | | | | | | | | | Previously we replaced them by ConcreteAnnotation so they became regular annotations and could be emitted in some cases. They need to keep being BodyAnnotation.
| * | | | Fix visibility of annotationsGuillaume Martres2016-11-301-11/+9
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | `isRuntimeVisible` and `retentionPolicyOf` had two different ways to get the retention policy of an annotation and they were both wrong. Fix retentionPolicyOf` and use it in `isRuntimeVisible`
| * | | | Fix annotations never being emittedGuillaume Martres2016-11-301-2/+1
| | | | |
* | | | | Merge pull request #1813 from dotty-staging/fix-#1806Dmitry Petrashko2016-12-164-1/+17
|\ \ \ \ \ | | | | | | | | | | | | Fix #1806: Define outer accessors at the right phase
| * | | | | Fix #1806: Define outer accessors at the right phaseMartin Odersky2016-12-163-1/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Some outer accessors were defined at phase explicitOuter, but were entered into the scope of their enclosing class only at phase explicitOuter + 1. This turned them to stale symbols when trying to access them at a later run, because at their initially valid phase they were not found as members of their owner.
| * | | | | Test caseMartin Odersky2016-12-151-0/+7
| | | | | |
* | | | | | Merge pull request #1801 from dotty-staging/fix-#1790Dmitry Petrashko2016-12-1611-61/+142
|\| | | | | | |_|_|_|/ |/| | | | Fix #1790: Change by-name pattern matching.
| * | | | Implement new rules for name-based pattern matchingMartin Odersky2016-12-156-26/+70
| | | | | | | | | | | | | | | | | | | | This implements the rules laid down in #1805.
| * | | | Change by-name pattern matching.Martin Odersky2016-12-148-58/+95
| | | | | | | | | | | | | | | | | | | | New implementation following the scheme outlined in #1790.
* | | | | Merge pull request #1785 from dotty-staging/fix-#1784odersky2016-12-1517-54/+77
|\ \ \ \ \ | | | | | | | | | | | | Fix #1784: allow to omit types for local implicit vals
| * | | | | Add CyclicImplicitVal error to messages (reverted from commit ↵Martin Odersky2016-12-152-13/+4
| | | | | | | | | | | | | | | | | | | | | | | | 559e49317912ce52c51e295346cebcafbb69462d)
| * | | | | Add CyclicImplicitVal error to messagesFelix Mulder2016-12-132-4/+13
| | | | | |
| * | | | | Fix neg test caseMartin Odersky2016-12-121-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | Needed an // error annotation
| * | | | | Drop "Dotty deviation" messages that are no longer applicable.Martin Odersky2016-12-123-3/+3
| | | | | |
| * | | | | Better diagnosis for cyclic references caused by implicit searchMartin Odersky2016-12-123-2/+14
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Since we now allow to drop the explicit type of a local implicit val it can happen that this causes a cyclic reference, namely when the typechecking of the right-hand side involves an implicit search. It's unpractical and fragile to avoid this. Instead we give now a nice error message explaining the problem and how to fix it in source code.
| * | | | | Drop explicit types for local implicit valsMartin Odersky2016-12-1213-49/+49
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Drop explicit types for local implicit vals of type Context and Position. Exercises the functionality and shortens the code.
| * | | | | Fix #1784: allow to omit types for local implicit valsMartin Odersky2016-12-122-3/+14
| | | | | |
* | | | | | Merge pull request #1682 from dotty-staging/vclassodersky2016-12-1512-50/+70
|\ \ \ \ \ \ | | | | | | | | | | | | | | Fix checks related to value classes
| * | | | | | fix test i705-inner-value-class2.scalaliu fengyun2016-11-241-1/+1
| | | | | | |
| * | | | | | renable checking for TreeCheckerliu fengyun2016-11-241-1/+4
| | | | | | |
| * | | | | | fix failing neg testsliu fengyun2016-11-242-2/+2
| | | | | | |
| * | | | | | remove invalid field in value classliu fengyun2016-11-241-1/+0
| | | | | | |
| * | | | | | don't recheck in -Ycheckliu fengyun2016-11-244-42/+48
| | | | | | |
| * | | | | | fix #1642: disallow value classe wrapping value classliu fengyun2016-11-248-13/+20
| | | | | | |
| * | | | | | fix #1670: move the check of value class to typerliu fengyun2016-11-243-2/+7
| | | | | | |
* | | | | | | Merge pull request #1780 from dotty-staging/fix-i1779odersky2016-12-155-6/+37
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | fix #1779: support $_ and $_id in interpolated string
| * | | | | | | only allow $_ in patternsliu fengyun2016-12-122-6/+19
| | | | | | | |
| * | | | | | | fix #1779: support $_ and $_id in interpolated stringliu fengyun2016-12-084-1/+19
| | | | | | | |
* | | | | | | | Merge pull request #1796 from dotty-staging/add-testsodersky2016-12-159-0/+239
|\ \ \ \ \ \ \ \ | |_|_|_|/ / / / |/| | | | | | | Add tests
| * | | | | | | More tests and other odds and endMartin Odersky2016-12-149-0/+239
|/ / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Add tests that work to pos/neg, tests that don't work yet to pending/pos/neg. - Also, change .gitignore to allow for a local directory. - Also add a draft page to the docs.
* | | | | | | Merge pull request #1761 from dotty-staging/topic/product-showFelix Mulder2016-12-145-5/+206
|\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | [REPL] Add show capability to common types
| * | | | | | | Add comment regarding prettificationFelix Mulder2016-12-011-0/+17
| | | | | | | |
| * | | | | | | Use Nil.type and None.type instead of superclassesFelix Mulder2016-12-011-4/+4
| | | | | | | |
| * | | | | | | Fix literal type printingFelix Mulder2016-12-011-0/+3
| | | | | | | |
| * | | | | | | Fix tasty bootstrapFelix Mulder2016-12-011-12/+12
| | | | | | | |
| * | | | | | | Fix repl testsFelix Mulder2016-12-011-1/+1
| | | | | | | |
| * | | | | | | Add documentation to `Show`Felix Mulder2016-11-301-3/+10
| | | | | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 08:57:35 +0000