Add the Tasty Reader [ci: last-only] #9109
Commits on Jun 26, 2020
-
-
-
-
-
-
-
-
-
-
-
-
-
unpickle companions in same tasty file; suspend TestPair; replace Emp…
…tyProduct with Box
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
add -help to TastyTest, invoke scala compiler directly, add args for …
…sources and package name
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
dotty macros now have their own flag, stub factor10 intent library fo…
…r testing macros
-
-
add support for unpickling unescaped operator names; unsuspend TestPr…
…od; add TestSetters
-
can unpickle some backticked names, will have to wait until dotty 0.2…
…1.0-RC1 release for all
-
-
-
-
-
-
-
-
-
-
-
-
unpickle annotations, special case scala.annotation.internal.Child fo…
…r sealed case enumeration
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
temporarily store a module symbol to ensure its symbol survives, allo…
…w modules to be overloaded
-
-
-
Add HKNest test to test higher kinded types
Fails with: TestHKNest.scala:10: error: no type parameters for method foo: (x: tastytest.HKNest.Foo[F])String exist so that it can be applied to arguments (tastytest.HKNest.Foo[tastytest.HKNest.Box[_$8]]) --- because --- argument expression's type is not compatible with formal parameter type; found : tastytest.HKNest.Foo[tastytest.HKNest.Box[_$8]] required: tastytest.HKNest.Foo[?F]30s test(assert(new Consume[Foo].foo(new Foo[Box]) == "Foo")) ^ TestHKNest.scala:10: error: type mismatch; found : tastytest.HKNest.Foo[tastytest.HKNest.Box[_$8]] required: tastytest.HKNest.Foo[F] test(assert(new Consume[Foo].foo(new Foo[Box]) == "Foo")) ^ 2 errors -
-
-
-
normalise typebounds in hktypeparams, handle wildcard bounds, pretty …
…print wildcard idents
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
There were still two path separator issues.
-
-
-
-
-
-
-
-
-
-
This is a very disruptive change, affecting bytecode gen (could be av…
…oided if I can time travel to change the info of a dotty enum constant for erasure) This enables type checking to work for a dotty enum constant with a mixin if the expected type is a mixin and not the enum parent class
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Update src/library/scala/collection/mutable/StringBuilder.scala
restore comment
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Commits on Jun 30, 2020
Commits on Jul 2, 2020
Commits on Jul 7, 2020
-
Force annotations in TreeUnpickler and not Pattern Matching
This commit is a squash of several commits to atomically add the feature: When indexing a scope for the first time to set up completers, add lazy annotations to symbols. At the end of the indexing, force the annotations and if one is scala.annotation.internal.Child[T], add the symbol of T as a sealed child. If we are not indexing statements, such as completing the a method and reading its parameters, force annotations as soon as each symbol is initialised, this is ok because the owner tree for the definition is also initialised so forward references can be safely accessed. force sealed children after indexing scope cache RepeatedAnnot force all annotations early, catching more errors Also force annotations for lookahead contexts. It would be good to see if perhaps we can share a single annotation cache per tasty file and force from one place. Force annotations for each new symbol Additionally, when sequencing statements, only force after the whole sequence is indexed. Forceable annotations are now stored in and forced from the initial context. Made it more lazy to print parents of a class. If a LambdaPolyType is in a New tree, unwrap it. force annotations at end of createMemberSymbol only make lazy annotation if we delay its evaluation
-
Delay forcing annotations in template body until parents are added to…
… class info. Before this, inherited members may not be visible at the point of forcing the annotation on a definition in the template. Also moved symbol cache to the initial context so that child contexts all pass to the same cache.
-
Find overloads by converting types to ErasedTypeRef.
Inner classes can not be found with Mirror getRequiredClass, so we should have another way to compare types to signatures, this proposes to instead convert method signatures to Signature[ErasedTypeRef]
-
Merge pull request #106 from scalacenter/tasty/pick-erased-type-ref
Read inner classes in signatures, force annotations after template parents