aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* add pos_companions to the suiteSarunas Valaskevicius2015-09-251-0/+1
|
* remove unused codeSarunas Valaskevicius2015-09-251-7/+0
|
* Merge pull request #802 from dotty-staging/change-hk-1odersky2015-09-2524-239/+1102
|\ | | | | Change hk take 2
| * Fixes to comments suggested by reviewerMartin Odersky2015-09-212-10/+10
| | | | | | | | Fixes suggested by @marter when reviewing previous hk PR.
| * Eta expand $apply projected types if neededMartin Odersky2015-09-217-16/+677
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It turns out that asSeenFrom can produce types that get projected with $apply but that are not higher-kinded. An exampple failure is in Iter3, andother in scala.collection.immutable.Map (which is now part of the test suite). We now detect that situation, and eta expand the projected type in `derivedSelect`, this will force a subssequent `lookupRefined` which will give the desired normalized type. Also added is a configurable test that checks that $apply projected tyeps are in fact higher-kinded.
| * Move failing test to pending.Martin Odersky2015-09-181-3/+3
| | | | | | | | | | | | The original IterableSelfRec is not syntactically legal after the hk changes. I attempted to fix, but there's still a type error. Need to investigate whether this is a true error or a bug.
| * Avoid orphan RefinedThis types in glb/lub.Martin Odersky2015-09-182-3/+3
| |
| * Keep track of parameter bounds in LambdaAbstract and EtaReduceMartin Odersky2015-09-181-11/+66
| | | | | | | | | | | | 1) Lambda abstract now records bounds of abstracted type parameters in TypeLambda 2) Eta-reduce likewise keeps the bounds it finds in the TypeLambda 3) Eta-reduce now also translates hk$i references to type parameters of the reduced type.
| * Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-184-2/+74
| | | | | | | | ...unless the HK type can be eta-reduced to a class type.
| * Generalize eta reduction to partially applied types.Martin Odersky2015-09-182-2/+13
| | | | | | | | | | | | | | | | | | | | Now also allows to reduce something like ([T] => Map[T, String]) to Map[_, String]
| * Fix problem in typeParamsMartin Odersky2015-09-182-13/+8
| | | | | | | | | | Accidentally forwarded to rawTypeParams. This solved the problem with mismatching type params in appliedTo that was caught in testLifted.
| * Rewrite compareHK to be kind-correctMartin Odersky2015-09-182-9/+13
| |
| * Replace isLambda with ifHKMartin Odersky2015-09-185-52/+21
| | | | | | | | | | Replace occurrences of isLambda with isHK, because isHK is a bit faster and simplier.
| * Remove magic from derivedRefinedType.Martin Odersky2015-09-181-17/+3
| | | | | | | | It's no longer needed with new hk scheme.
| * Rename of hk args HK$x -> hk$xMartin Odersky2015-09-185-82/+27
| | | | | | | | | | | | | | | | These are not user-accessible types, so no need to follow type convention and write in upper case. Also, rename occurrences of lambda to Lambda, to make clear we mean a type lambda.
| * Simplify EtaReduceMartin Odersky2015-09-181-4/+1
| | | | | | | | by removing dead case.
| * Rename Apply -> hkApplyMartin Odersky2015-09-189-22/+27
| | | | | | | | Want to have a unique name for Apply, so that tests for higher-kinded types become cheaper.
| * Add missing position to errorMartin Odersky2015-09-181-1/+1
| |
| * Adapt type arguments in typedAppliedTypeTreeMartin Odersky2015-09-181-11/+13
| | | | | | | | | | | | Previously, only pattern bound arguments were adapated. This was an oversight. Also, change logix so that we survive empty type parameter lists. This was also an oversight before.
| * Better error reporting in TreePicklerMartin Odersky2015-09-181-1/+3
| | | | | | | | | | | | Turn a possible NPE into an AssertionError. The latter are caught in pickleTree, so an error leaves a trace about what was pickled.
| * Project all high-kinded types with #ApplyMartin Odersky2015-09-182-4/+13
| | | | | | | | | | | | Used to be just instantiated lambdas. With the new scheme every type with a kind higher than * needs to be projected with #Apply.
| * Try to eta reduce type applications.Martin Odersky2015-09-181-1/+3
| | | | | | | | | | | | | | | | Rewrite a type application like ([HK$0] => C[HK$0])(T) to C[T] Avoids application cahins to become unnecessarly large.
| * Follow alias types when computing type params.Martin Odersky2015-09-181-2/+3
| | | | | | | | This aligns typeParams and rawTypeParams. It's not strictly to necessary, though.
| * Temporary fix to testLiftedMartin Odersky2015-09-181-3/+9
| | | | | | | | | | | | | | | | Discrepancies between numbers of formal and actual type arguments were observed when typing partialFunctions.scala under new scheme. Should come back to this when subtyping is rewrittem/simplified to work with new hk-scheme. Maybe testLifted is no longer needed at all.
| * Don't lambda abstract derived typesMartin Odersky2015-09-181-1/+1
| | | | | | | | | | Derived types already contain the lambda abstractoion; lambda abstracting them again would cause a double lambda.
| * Avoid cycles when eliminating existentials in unpicklingMartin Odersky2015-09-181-4/+23
| | | | | | | | | | New hk-scheme caused cycles in elimExistentials which are fixed by this patch.
| * Use EtaExpand instead of LambdaAbstract when unpickling typerefsMartin Odersky2015-09-181-5/+1
| | | | | | | | | | | | When unpickling from Scala2 TypeRefs with arguments which do not refer to classes, use EtaExpand instead of LambdaAbstract. Lambda Abstrct is wrong since it drops type arguments.
| * Allow to use safe substitution in LambdaAbstractMartin Odersky2015-09-184-4/+39
| | | | | | | | | | Needed to avoid cycles involving F-boundes hk-types when reading Scala2 collection classes with new hk-scheme.
| * Drop parameterizeWithMartin Odersky2015-09-182-6/+6
| | | | | | | | | | parameterizeWith picked between simple hk types and lambda abstraction. No longer needed because now we always lambda abstract.
| * A non-class typeref has type parameters only if subtype of a lambda class.Martin Odersky2015-09-181-2/+5
| |
| * Lambda abstract all TypeRefs when unpickling.Martin Odersky2015-09-181-0/+5
| |
| * Always lambda abstract TempPolyTypes representing types.Martin Odersky2015-09-181-12/+3
| |
| * Don't eta expand in appliedToMartin Odersky2015-09-181-1/+1
| |
| * Add a test that logs the classpath to pinpoint setup failures.Martin Odersky2015-09-181-0/+2
| |
| * Add comment.Martin Odersky2015-09-181-1/+4
| |
| * Add EtaReduce method.Martin Odersky2015-09-181-0/+33
| | | | | | | | EtaReduce will be used to keep applications on eta expanded methods small.
| * Avoid generating companion-methods for non-class types.Martin Odersky2015-09-181-3/+5
| | | | | | | | | | | | | | This would lead to a crash. Example is in Predef: object Pair type Pair
| * Adapt arguments in all type applicationsMartin Odersky2015-09-182-8/+8
| | | | | | | | | | Previously, we did this only in applications in rhs of type definitions. Need to do it everywhere.
| * Strenghten condition in EtaExpandIfLambdaMartin Odersky2015-09-181-1/+3
| | | | | | | | | | Without the additional `typeParams.nonEmpty` condition we got a crash in t1439.scala
| * Fix argument eta expansionMartin Odersky2015-09-182-4/+4
| | | | | | | | | | ... and move to TypeApplications. isLambda test was the wrong way before.
| * Turn assertion into a test in etaExpandArgs.Martin Odersky2015-09-181-13/+15
| | | | | | | | | | | | Erreneous programs could have a difference in lengths between type parameters and type args, but this is tested anyway in Typer.
| * Black hole detection for LazyRefsMartin Odersky2015-09-181-1/+10
| | | | | | | | | | Now catches attempts to recursively force a LazyRef type that's in train of being evaluated.
| * Better diagnostics for failed sigName calls.Martin Odersky2015-09-181-1/+5
| | | | | | | | | | | | It used to be "assertion error: NoType" whenever sigName git a projection of a missing member. Now we find out about what type was projected.
| * Check argument lengths in typedAppliedTypeTreeMartin Odersky2015-09-181-2/+12
| | | | | | | | | | With the hk-types schem changed, we need to make sure that actual and formal argument lists of parameterized types have the same length.
| * Eta expand type arguments corresponding to lambdasMartin Odersky2015-09-182-3/+27
| | | | | | | | | | In Namer, eta expand any type argument that corresponds to a higher-kinded type parameter. Also, check that all type parameter lists are fully applied.
| * Avoid cyclic references in containsRefinedThisMartin Odersky2015-09-181-2/+3
| | | | | | | | | | | | Avoid forcing info if the reference goes to a class. This avoided a CyclicReference when reading Scala's standard library form pos/collections when fiddling with the hk logic.
| * Clean up of logic in typeDefSigMartin Odersky2015-09-181-3/+3
| |
* | Merge pull request #800 from dotty-staging/paramForwarding-commentDmitry Petrashko2015-09-211-0/+12
|\ \ | |/ |/| ParamForwarding #783: answer my own question.
| * ParamForwarding #783: answer my own question.Dmitry Petrashko2015-09-201-0/+12
|/
* Merge pull request #798 from dotty-staging/fix-791Dmitry Petrashko2015-09-183-2/+17
|\ | | | | Fix 791
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-28 20:37:40 +0000