Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Merge pull request #1004 from dotty-staging/linker/types | odersky | 2016-01-06 | 3 | -30/+38 | |
|\ | | | | | Subtle changes to TypeComarer needed for Linker. | |||||
| * | Mark TermRefWithFixedSym as non-final. | Dmitry Petrashko | 2016-01-04 | 1 | -2/+3 | |
| | | ||||||
| * | Allow comparisons between TypeRefs and ThisTypes. | Dmitry Petrashko | 2016-01-04 | 1 | -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 Petrashko | 2015-12-20 | 1 | -0/+4 | |
| | | ||||||
| * | LinkerSpecific: make functionality of ResolveSuper accessible. | Dmitry Petrashko | 2015-12-20 | 1 | -27/+30 | |
| | | | | | | | | | | Linker needs to resolve super calls before they are rewritten in the tree. | |||||
* | | Merge pull request #1016 from dotty-staging/fix/language-features | Dmitry Petrashko | 2016-01-06 | 1 | -2/+2 | |
|\ \ | | | | | | | Build.scala: only enable features we use | |||||
| * | | Build.scala: only enable features we use | Guillaume Martres | 2016-01-04 | 1 | -2/+2 | |
| | | | | | | | | | | | | | | | -language:_ does not work when compiling dotty with dotty because it implies -language:keepUnions which prevents dotty from typechecking | |||||
* | | | Merge pull request #1015 from dotty-staging/fix/dotc-d | Dmitry Petrashko | 2016-01-04 | 1 | -2/+2 | |
|\ \ \ | | | | | | | | | bin/dotc: fix "-d" argument | |||||
| * | | | bin/dotc: fix "-d" argument | Guillaume Martres | 2016-01-04 | 1 | -2/+2 | |
| |/ / | | | | | | | | | | | | | It's already used to specify an output folder, don't try to interpret it as a shortcut for -debug | |||||
* | | | Merge pull request #1018 from dotty-staging/fix/paramless-override | Dmitry Petrashko | 2016-01-04 | 1 | -1/+1 | |
|\ \ \ | |/ / |/| | | VCArrayPrototype: replace override "def clone" by "def clone()" | |||||
| * | | VCArrayPrototype: replace override "def clone" by "def clone()" | Guillaume Martres | 2016-01-04 | 1 | -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 #1013 from dotty-staging/add/sbt-stuff | Guillaume Martres | 2016-01-04 | 1 | -0/+8 | |
|\ \ | | | | | | | Add a compiler.properties resource file like in Scala 2 | |||||
| * | | Add a compiler.properties resource file like in Scala 2 | Guillaume Martres | 2015-12-31 | 1 | -0/+8 | |
| | | | | | | | | | | | | | | | | | | | | | This is used by sbt to get the compiler's version. The code to generate the resource comes from http://www.scala-sbt.org/0.13/docs/Howto-Generating-Files.html#Generate+resources | |||||
* | | | Merge pull request #1003 from dotty-staging/linker/tasty | Dmitry Petrashko | 2016-01-04 | 10 | -296/+339 | |
|\ \ \ | | | | | | | | | Fixes&Changes to TASTY inspired by Linker | |||||
| * | | | Address review comments. | Dmitry Petrashko | 2016-01-04 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | TreeUnpickler unpickle only top-level packages and imports. | Dmitry Petrashko | 2015-12-20 | 1 | -2/+26 | |
| | | | | ||||||
| * | | | Postpone tree compaction till all phases finish operating TASTY. | Dmitry Petrashko | 2015-12-20 | 2 | -4/+10 | |
| | | | | | | | | | | | | | | | | Linker adds new sections. Wait for sections to be added and then compact. | |||||
| * | | | Maintain original completer in SymDenotation. | Dmitry Petrashko | 2015-12-20 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | Needed to be able to access additional sections of TASTY. | |||||
| * | | | Linker specific: TreePicker: export functions for reuse | Dmitry Petrashko | 2015-12-20 | 1 | -272/+271 | |
| | | | | | | | | | | | | | | | | | | | | Linker needs to save some trees. Instead of reimplementing I would rather reuse already existing methods. | |||||
| * | | | Allow unpickler to be accessible after FromTasty | Dmitry Petrashko | 2015-12-20 | 2 | -1/+4 | |
| | | | | ||||||
| * | | | Have only one tree pickler per TASTY pickler. | Dmitry Petrashko | 2015-12-20 | 2 | -1/+3 | |
| | | | | ||||||
| * | | | Fix reading of Longs from tasty. Fixes wrong UUID. | Dmitry Petrashko | 2015-12-20 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Linker Specific: allow phases to get to TASTY section. | Dmitry Petrashko | 2015-12-20 | 2 | -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-arrays | Dmitry Petrashko | 2016-01-04 | 5 | -5/+38 | |
|\ \ \ | | | | | | | | | Ycheck that scala.Array is erazed to either Object or JavaArrayType. | |||||
| * | | | Enable previously failing whitelist test | Martin Odersky | 2015-12-21 | 1 | -3/+1 | |
| | | | | ||||||
| * | | | Refine interdiction of Array after erasure | Martin Odersky | 2015-12-21 | 1 | -1/+5 | |
| | | | | | | | | | | | | | | | | Array is still allowed after erasure when compiling Array.scala. | |||||
| * | | | Merge branch 'ycheck-erasure-arrays' of ↵ | Martin Odersky | 2015-12-21 | 0 | -0/+0 | |
| |\ \ \ | | | | | | | | | | | | | | | | https://github.com/dotty-staging/dotty into ycheck-erasure-arrays | |||||
| | * | | | Fix assertion in erasure to correctly print name of the phase. | Dmitry Petrashko | 2015-12-20 | 1 | -1/+1 | |
| | | | | | ||||||
| * | | | | Fix erasure of raw arrays | Dmitry Petrashko | 2015-12-21 | 3 | -1/+17 | |
| |/ / / | ||||||
| * | | | TypeErasure.isErasedType: scala.Array is invalid after Erasure. | Dmitry Petrashko | 2015-12-20 | 1 | -1/+1 | |
| | | | | | | | | | | | | | | | | It should either be erased to j.l.Object or replaced by JavaArrayType. | |||||
| * | | | Minimize #996 | Dmitry Petrashko | 2015-12-20 | 1 | -0/+15 | |
| |/ / | ||||||
* | | | Merge pull request #993 from dotty-staging/tasty-typer-test | Dmitry Petrashko | 2016-01-03 | 1 | -0/+7 | |
|\ \ \ | | | | | | | | | Add tests for dotc.typer pickling/unpickling | |||||
| * | | | Add tests for dotc.typer pickling/unpickling | VladimirNik | 2015-12-04 | 1 | -0/+7 | |
| | | | | ||||||
* | | | | Merge pull request #1010 from dotty-staging/fix/new-asSeenFrom | odersky | 2016-01-03 | 3 | -1/+15 | |
|\ \ \ \ | |_|_|/ |/| | | | Fix #1009: Do not forget to skolemize some types | |||||
| * | | | Fix #1009: Do not forget to skolemize some types | Guillaume Martres | 2015-12-24 | 3 | -1/+15 | |
| | | | | ||||||
* | | | | Merge pull request #1006 from dotty-staging/more-tests | Guillaume Martres | 2015-12-26 | 269 | -306/+115 | |
|\ \ \ \ | |/ / / |/| | | | More tests | |||||
| * | | | The big pending/pos test triage | Martin Odersky | 2015-12-20 | 196 | -670/+57 | |
| | | | | ||||||
| * | | | Fix problem dealing with symbolic import renames | Martin Odersky | 2015-12-20 | 2 | -1/+10 | |
| | | | | ||||||
| * | | | Make isBottomType work for derives types as well. | Martin Odersky | 2015-12-20 | 1 | -4/+1 | |
| | | | | ||||||
| * | | | Fix hk comparison between class and range lambda | Martin Odersky | 2015-12-20 | 3 | -4/+25 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 types | Martin Odersky | 2015-12-20 | 2 | -11/+11 | |
| | | | | ||||||
| * | | | Fix eta expansion | Martin Odersky | 2015-12-19 | 1 | -1/+2 | |
| | | | | | | | | | | | | | | | | revios fix crashed for nullary functions | |||||
| * | | | Turn println into log | Martin Odersky | 2015-12-19 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | Don't flag override errors for synthetic companion objects. | Martin Odersky | 2015-12-19 | 2 | -2/+32 | |
| | | | | ||||||
| * | | | Add position to implicit defs generated from implicit classes. | Martin Odersky | 2015-12-19 | 1 | -1/+2 | |
| | | | | ||||||
| * | | | Fix parsing of blocks that end in an import | Martin Odersky | 2015-12-19 | 3 | -2/+38 | |
| | | | | ||||||
| * | | | Fix desugaring of symbols. | Martin Odersky | 2015-12-19 | 2 | -1/+519 | |
| | | | | | | | | | | | | | | | | Symbols can appear in patterns, so inserting an `apply` is wrong. | |||||
| * | | | Fix eta lifting for functions with vararg parameters. | Martin Odersky | 2015-12-19 | 3 | -6/+12 | |
| | | | | ||||||
| * | | | Categorize more tests | Martin Odersky | 2015-12-19 | 62 | -199/+2 | |
| | | | | | | | | | | | | | | | | All pos tests up to 3999 have been triaged. One new test in pending. | |||||
* | | | | Merge pull request #1008 from dotty-staging/fix-sym-positions | Guillaume Martres | 2015-12-23 | 4 | -9/+4 | |
|\ \ \ \ | | | | | | | | | | | Fix off by 2 error for symbol positions |