aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Remove duplicate isAnonymousFunctionDmitry Petrashko2014-12-162-4/+1
|
* Move methods shared between Mixin and Backend to SymUtils.Dmitry Petrashko2014-12-162-4/+20
|
* Hack ClassFileParser to not treat Null$ or Nothing$ as modules.Dmitry Petrashko2014-12-162-1/+6
| | | | They are classes.
* Update to scala 2.11.4Dmitry Petrashko2014-12-161-1/+1
|
* Erasure is on by default.Dmitry Petrashko2014-12-161-30/+30
| | | | Remove historical enabling of erasure for some tests: its enabled by default now
* Sharing backend between scalac and dotty.Dmitry Petrashko2014-12-167-2/+1334
| | | | | Due to a lot of error and workarounds required for backend not regress in terms of speed, I guess the original idea was to high to be reached.. Nevertheless it was good to try.
* Merge pull request #292 from dotty-staging/fix/#290-type-bindDmitry Petrashko2014-12-164-5/+29
|\ | | | | Fix/#290 type bind
| * Fix typechecking rules for Binds of type trees.Martin Odersky2014-12-153-5/+27
| |
| * Make Bind nodes type trees depending on bound name.Martin Odersky2014-12-151-0/+2
| | | | | | | | Bind nodes were always TermTrees, which is wrong.
* | Merge pull request #293 from smarter/fix/multiple-refinements-warningDmitry Petrashko2014-12-162-3/+4
|\ \ | |/ |/| Avoid spurious warnings about forward references in refinements
| * Avoid spurious warnings about forward references in refinementsGuillaume Martres2014-12-162-3/+4
|/ | | | | | | | The warning was triggered by cases like: class A type F = A { type T = Int; def f: T } Which is treated differently from the following which did not produce a warning: type F = A { type T = Int } { def f: T }
* Merge pull request #291 from dotty-staging/fix-transform-bindodersky2014-12-151-2/+2
|\ | | | | Fix Bind node contents not being transformed if phase didn't register transformBind.
| * Fix Bind node contents not being transformed if phase didn't register ↵Dmitry Petrashko2014-12-151-2/+2
|/ | | | transformBind.
* Merge pull request #275 from dotty-staging/fix/#266-lambdaLiftDmitry Petrashko2014-12-153-13/+24
|\ | | | | Fix/#266 lambda lift
| * Fixed narrowLiftedOwner in LambdaLiftMartin Odersky2014-12-122-11/+22
| | | | | | | | | | | | | | | | A lot of cases were missing before and caused failures in the newly added test in TreeChecker#typedThis. Now we assure that all this references appear inside the referenced class.
| * Changed erasure of ThisTypeMartin Odersky2014-12-121-2/+2
| | | | | | | | | | | | | | | | | | Was: erasure of underlying type. Now: erased typeRef of underlying class. The differ if there is a self type. In this case, a this type did erase to teh erasure of the self type, which is wrong.
* | Merge pull request #286 from dotty-staging/change/defaultphaseDmitry Petrashko2014-12-1529-166/+29
|\ \ | | | | | | Change/defaultphase
| * | Remove fruitless overrides of treeTransformPhaseMartin Odersky2014-12-1421-30/+1
| | | | | | | | | | | | | | | Now the default phase of treeTransformPhase is phase.next, we can remove all overrides that specify the same phase.
| * | Eliminate GettersSettersMartin Odersky2014-12-143-120/+3
| | | | | | | | | | | | Has been replaced by Getters, but some traces remained.
| * | Change default treeTrannsformPhase to phase.nextMartin Odersky2014-12-141-1/+1
| | |
| * | Make Literalize run at new default phase thisTransform.nextMartin Odersky2014-12-144-4/+8
| | |
| * | Change phase handling in enteredAfterMartin Odersky2014-12-141-8/+9
| | | | | | | | | | | | | | | This makes it more consistent with related methods ensureFreshScopeAfter, installAfter.
| * | Change treeTransformPhase for SyntheticMethods to new defaultMartin Odersky2014-12-141-1/+2
| | |
| * | Make sure AnnotationTransformers run at own phaseMartin Odersky2014-12-142-1/+2
| | |
| * | Ensure that transformStats is run at phase thisTransformPhase.Martin Odersky2014-12-141-1/+1
| | |
| * | Make sure the period of a context always contains a single phaseMartin Odersky2014-12-142-4/+6
| | | | | | | | | | | | | | | Multi-phase periods mean that ctx.phaseId is no longer valid, which means a lot of invariants break.
* | | Merge pull request #272 from dotty-staging/cache-nx-infoodersky2014-12-141-80/+83
|\ \ \ | | | | | | | | Precompute NXTransforms to speedup repeated application of TreeTransformer.macroTransform
| * | | Make TreeTransform type check in dotty. There's no magic type behind ↵Dmitry Petrashko2014-12-121-4/+4
| | | | | | | | | | | | | | | | getClass in dotty.
| * | | Precompute initial NXTransformations in TreeTransforms.Dmitry Petrashko2014-12-121-5/+9
| | | | | | | | | | | | | | | | Helps Annotation transformers which do not need to reinitialise themselves anymore.
| * | | Call getClass 30 times less in TreeTransforms initialisation.Dmitry Petrashko2014-12-121-69/+74
| | | |
| * | | Remove Separator. It's not used anymoreDmitry Petrashko2014-12-121-6/+0
| | |/ | |/|
* | | Merge pull request #284 from olhotak/pr-annotatedtypesodersky2014-12-142-0/+14
|\ \ \ | |_|/ |/| | fixes to handle AnnotatedTypes transparently like the types that they wrap
| * | handle AnnotatedTypes transparently in Tree.denotOndrej Lhotak2014-12-131-0/+5
| | |
| * | add stripAnnots method to Type to unwrap AnnotatedTypesOndrej Lhotak2014-12-131-0/+5
| | |
| * | fix dealias to handle AnnotatedTypes transparentlyOndrej Lhotak2014-12-131-0/+2
| | |
| * | fix stripTypeVar to handle AnnotatedType transparentlyOndrej Lhotak2014-12-131-0/+2
|/ /
* | Merge pull request #279 from dotty-staging/test/#91odersky2014-12-133-0/+18
|\ \ | | | | | | Two new tests
| * | Two new testsMartin Odersky2014-12-133-0/+18
| | | | | | | | | | | | | | | 1) Verify we survive illegal infinite paths. Closes #91. 2) Verify we handle fbounds in and types correctly.
* | | Merge pull request #283 from dotty-staging/fix/#291-null-primitive-conformsodersky2014-12-133-1/+10
|\ \ \ | |/ / |/| | Disable implicit conversions between from `Null` and `Nothing`.
| * | Disable implicit conversions between from `Null` and `Nothing`.Martin Odersky2014-12-133-1/+10
|/ / | | | | | | | | | | | | | | | | | | | | | | This is necessary to reject code like val x: Boolean = null Without the restriction, this code would typecheck and expand to val x: Boolean = Predef.Boolean2boolean(null) since `null` counts as a value of type `java.kang.Boolean`.
* | Merge pull request #277 from dotty-staging/change/drop-not-nullodersky2014-12-136-10/+29
|\ \ | | | | | | Change/drop not null
| * | Remove obsolete mentions of the NotNull classGuillaume Martres2014-12-132-2/+2
| | |
| * | Drop NotNull class and associated code.Martin Odersky2014-12-134-7/+2
| | |
| * | Fix subtyping of null and refined types.Martin Odersky2014-12-132-1/+25
| | |
* | | Merge pull request #278 from dotty-staging/fix/#248-inherit-refinementsodersky2014-12-135-14/+31
|\ \ \ | |/ / |/| | Fix #248: Class cannot inherit from refinement types
| * | Fixed testMartin Odersky2014-12-131-1/+1
| | |
| * | One more test case, coming from #214.Martin Odersky2014-12-132-1/+2
| | |
| * | Fix #248: Class cannot inherit from refinement typesMartin Odersky2014-12-135-14/+30
|/ / | | | | | | | | | | We now check that classes do not inherit from refinement types (unless they are an encoding of parameterized types), nor from & or | types.
* | Merge pull request #274 from smarter/fix/period-of-phasesDmitry Petrashko2014-12-131-2/+2
|\ \ | | | | | | Phases: set the period correctly
| * | Phases: set the period correctlyGuillaume Martres2014-12-121-1/+1
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 13:31:20 +0000