aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Partest dotty non-bootstrapped.Dmitry Petrashko2016-01-131-1/+1
| | | | | | Needs to go in before https://github.com/scala/scala-jenkins-infra/pull/152 is deployed
* Merge pull request #1004 from dotty-staging/linker/typesodersky2016-01-063-30/+38
|\ | | | | Subtle changes to TypeComarer needed for Linker.
| * Mark TermRefWithFixedSym as non-final.Dmitry Petrashko2016-01-041-2/+3
| |
| * Allow comparisons between TypeRefs and ThisTypes.Dmitry Petrashko2016-01-041-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Motivation comes from Linker: List$.canBuildFrom is implemented as ReusableCBF.asInstanceOf[GenericCanBuildFrom[A]] static type of field ReusableCBF here is TypeRef(TypeRef(List$), GenericCanBuildFrom[Nothing]) but the ident ReusableCBF gets type TypeRef(ThisType(List$), GenericCanBuildFrom[Nothing]) We already permit comparisons between static TermRefs and ThisTypes, this change additionally allows TypeRefs to static modules to become subtypes of ThisTypes of static modules.
| * Linker specific: add note to withSymAndName.Dmitry Petrashko2015-12-201-0/+4
| |
| * LinkerSpecific: make functionality of ResolveSuper accessible.Dmitry Petrashko2015-12-201-27/+30
| | | | | | | | | | Linker needs to resolve super calls before they are rewritten in the tree.
* | VCArrayPrototype: replace override "def clone" by "def clone()"Guillaume Martres2016-01-041-1/+1
| | | | | | | | | | | | This prevented Dotty from bootstrapping when the file arguments were given in a certain order because of #1017. Regardless of what we do regarding #1017, it makes sense to use "def clone()" here.
* | Merge pull request #1003 from dotty-staging/linker/tastyDmitry Petrashko2016-01-0410-296/+339
|\ \ | | | | | | Fixes&Changes to TASTY inspired by Linker
| * | Address review comments.Dmitry Petrashko2016-01-041-1/+1
| | |
| * | TreeUnpickler unpickle only top-level packages and imports.Dmitry Petrashko2015-12-201-2/+26
| | |
| * | Postpone tree compaction till all phases finish operating TASTY.Dmitry Petrashko2015-12-202-4/+10
| | | | | | | | | | | | Linker adds new sections. Wait for sections to be added and then compact.
| * | Maintain original completer in SymDenotation.Dmitry Petrashko2015-12-201-1/+1
| | | | | | | | | | | | Needed to be able to access additional sections of TASTY.
| * | Linker specific: TreePicker: export functions for reuseDmitry Petrashko2015-12-201-272/+271
| | | | | | | | | | | | | | | Linker needs to save some trees. Instead of reimplementing I would rather reuse already existing methods.
| * | Allow unpickler to be accessible after FromTastyDmitry Petrashko2015-12-202-1/+4
| | |
| * | Have only one tree pickler per TASTY pickler.Dmitry Petrashko2015-12-202-1/+3
| | |
| * | Fix reading of Longs from tasty. Fixes wrong UUID.Dmitry Petrashko2015-12-201-1/+1
| | |
| * | Linker Specific: allow phases to get to TASTY section.Dmitry Petrashko2015-12-202-16/+25
| |/ | | | | | | | | | | Makes all classes and fields on the way to TASTY section accessible. Example of usage can be found here: https://gist.github.com/DarkDimius/0f9dc769b0dd7a3c7365
* | Merge pull request #1005 from dotty-staging/ycheck-erasure-arraysDmitry Petrashko2016-01-042-2/+7
|\ \ | | | | | | Ycheck that scala.Array is erazed to either Object or JavaArrayType.
| * | Refine interdiction of Array after erasureMartin Odersky2015-12-211-1/+5
| | | | | | | | | | | | Array is still allowed after erasure when compiling Array.scala.
| * | Fix erasure of raw arraysDmitry Petrashko2015-12-212-1/+2
| | |
| * | TypeErasure.isErasedType: scala.Array is invalid after Erasure.Dmitry Petrashko2015-12-201-1/+1
| |/ | | | | | | It should either be erased to j.l.Object or replaced by JavaArrayType.
* | Merge pull request #1010 from dotty-staging/fix/new-asSeenFromodersky2016-01-031-1/+1
|\ \ | | | | | | Fix #1009: Do not forget to skolemize some types
| * | Fix #1009: Do not forget to skolemize some typesGuillaume Martres2015-12-241-1/+1
| | |
* | | Merge pull request #1006 from dotty-staging/more-testsGuillaume Martres2015-12-2611-32/+49
|\ \ \ | |/ / |/| | More tests
| * | Fix problem dealing with symbolic import renamesMartin Odersky2015-12-201-1/+1
| | |
| * | Make isBottomType work for derives types as well.Martin Odersky2015-12-201-4/+1
| | |
| * | Fix hk comparison between class and range lambdaMartin Odersky2015-12-201-4/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | In a situation like List <: [X] -> <: GenTraversable[X] We have to ask whether the rhs contains the instantiated lhs, not whether it is a supertype.
| * | Don't do eta expansion on bottom typesMartin Odersky2015-12-202-11/+11
| | |
| * | Fix eta expansionMartin Odersky2015-12-191-1/+2
| | | | | | | | | | | | revios fix crashed for nullary functions
| * | Turn println into logMartin Odersky2015-12-191-1/+1
| | |
| * | Don't flag override errors for synthetic companion objects.Martin Odersky2015-12-191-2/+7
| | |
| * | Add position to implicit defs generated from implicit classes.Martin Odersky2015-12-191-1/+2
| | |
| * | Fix parsing of blocks that end in an importMartin Odersky2015-12-191-1/+2
| | |
| * | Fix desugaring of symbols.Martin Odersky2015-12-191-1/+1
| | | | | | | | | | | | Symbols can appear in patterns, so inserting an `apply` is wrong.
| * | Fix eta lifting for functions with vararg parameters.Martin Odersky2015-12-192-6/+7
| | |
* | | Fix off by 2 error for symbol positionsMartin Odersky2015-12-221-1/+1
| | |
* | | Remove extraneous printlnMartin Odersky2015-12-211-1/+1
| | |
* | | Make asSeenFrom idempotentMartin Odersky2015-12-216-35/+88
| | | | | | | | | | | | | | | | | | Let asSeenFrom generate a marker annotated type for any unsafe instantiation. Then cleanup in typedSelect.
* | | Add precondition to doc comment.Martin Odersky2015-12-211-0/+1
| | |
* | | PolishingMartin Odersky2015-12-211-1/+1
| | |
* | | Change name of setting: -YshowVarBounds -> -Yshow-var-boundsMartin Odersky2015-12-211-1/+1
|/ /
* | Refactoring of derivedSelectMartin Odersky2015-12-181-17/+17
| | | | | | | | If splitProjections is set, it is more efficient that way.
* | Fix higher-kinded unions and intersectionsMartin Odersky2015-12-183-35/+83
| | | | | | | | | | | | Since And/Or type themselves are parameterless, their the union and intersection of hgiher-kinded types has to be treated specially: The types have to be pulled under a common lambda.
* | Fix layoutMartin Odersky2015-12-151-17/+17
| |
* | Optionally rewrite projections.Martin Odersky2015-12-152-2/+41
| |
* | Revise alias rules in type comparisons.Martin Odersky2015-12-151-40/+36
| | | | | | | | The fix solves two cases where we had a deep subtype before.
* | Dont push `|' inside refined types.Martin Odersky2015-12-151-11/+8
| | | | | | | | As the comment explains, this is not sound.
* | Better error message in splitterMartin Odersky2015-12-151-1/+4
| |
* | Print bounds of TypeVars only when option is enabled.Martin Odersky2015-12-152-1/+3
|/
* Merge pull request #1000 from dotty-staging/fix-#241odersky2015-12-1530-769/+996
|\ | | | | Fix #241
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 01:35:31 +0000