aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Modify runner script to include modified scalac on class path.Dmitry Petrashko2014-12-161-3/+10
|
* Mixing now also changes Scala2 traits into interfaces.Dmitry Petrashko2014-12-161-1/+6
|
* Disable backend by default in tests.Dmitry Petrashko2014-12-162-2/+6
|
* Enable new phases.Dmitry Petrashko2014-12-161-1/+5
|
* Complete DottyBackendInterface.Dmitry Petrashko2014-12-161-44/+309
|
* Add member lookups needed by backend.Dmitry Petrashko2014-12-161-0/+13
|
* GenBcode phase implemented.Dmitry Petrashko2014-12-161-16/+25
| | | | That doesn't mean it works :-)
* remove dependency on Btypes from DottyPrimitives. Rely on symbols instead.Dmitry Petrashko2014-12-161-39/+37
|
* Depend on custom compiler with https://github.com/scala/scala/pull/4136 ↵Dmitry Petrashko2014-12-161-2/+3
| | | | incorporated
* New phase: collectEntryPointsDmitry Petrashko2014-12-162-69/+121
| | | | collects entry points and registers them in backend
* 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`.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 15:17:47 +0000