aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-022-0/+258
|\ | | | | Change allow ex in hk
| * Represent references to Scala2 inner classes as WithFixedSym typesMartin Odersky2015-10-251-6/+2
| | | | | | | | | | | | | | Reason: An inner Scala2 class might be shadowed by a same-named class in a subtype. In Dotty this is disallowed butin Scala 2 it is possible. For instance, math.Numeric and math.Ordering both have an inner class "Ops". Normal TypeRef types could not select the shadowed class in Ordering is the prefix is of type Numeric.
| * Add fixed version of GenTraversableFactory.Martin Odersky2015-10-241-0/+256
| | | | | | | | | | | | | | There is still an issue because math uses inner classes named Ops which shadow each other. Dotty can't handle it, so implicit search in `range` goes wrong. The new test has been modified to work around that issue.
| * Allow existential types in hk typesMartin Odersky2015-10-241-0/+6
| |
* | Merge pull request #887 from dotty-staging/fix-#873odersky2015-11-021-0/+10
|\ \ | | | | | | Allow pattern matching anonymous functions of arity > 1
| * | Also handle SAM functions when adaptiing arity of case lambdas.Martin Odersky2015-10-301-0/+6
| | |
| * | Allow pattern matching anonymous functions of arity > 1Martin Odersky2015-10-301-0/+4
| | | | | | | | | | | | This is sepcified in Sec. 8.5 of the SLS. Fixes #873. Review by @smarter.
* | | Add tests for wildcards without typesMartin Odersky2015-11-021-0/+2
| | | | | | | | | | | | As suggested by review.
* | | Parentheses around a wildcard should not produce a lambdaMartin Odersky2015-11-021-0/+24
| | | | | | | | | | | | | | | | | | | | | `(_)` and `(_: T)` should not be converted to functions x => x (x: T) => x
* | | Address reviewer commentsMartin Odersky2015-10-301-0/+0
| | |
* | | Fix #879Martin Odersky2015-10-301-0/+11
| | | | | | | | | | | | Don't insert a constructor call when typechecking Java classes.
* | | Merge pull request #886 from dotty-staging/fix-#884Guillaume Martres2015-10-304-7/+10
|\ \ \ | |/ / |/| | Fix #884 - misdiagnosed ambiguous definition.
| * | Add missing test file.Martin Odersky2015-10-301-0/+28
| | |
| * | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-294-35/+10
| | | | | | | | | | | | | | | Universal equality strikes again. Caused a bug in isDefinedInCurrentUnit.
* | | Set position on annotations parsed from JavaGuillaume Martres2015-10-291-0/+3
|/ / | | | | | | Fix a crash in Typer#assertPositioned
* | Fix hole in subtyping of modulesMartin Odersky2015-10-251-0/+9
| | | | | | | | | | We did not handle correctly the case exemplified by `range.scala`: A module this type, which is compared with a getter to the same module. Seen in the wild in scala.math.BigDecimal.
* | Fix issue that prevented instantiating some tvars before implicit searchGuillaume Martres2015-10-251-2/+28
| |
* | Less eager tvar interpolation: wait until method calls are fully appliedGuillaume Martres2015-10-251-0/+12
| | | | | | | | Fix #738
* | Merge pull request #843 from dotty-staging/fix-#830odersky2015-10-251-0/+6
|\ \ | |/ |/| Fix #830: Compiler hangs on implicit search with singleton &/|
| * Fix #830: Compiler hangs on implicit search with singleton &/|Martin Odersky2015-10-221-0/+6
| | | | | | | | | | | | In fact we get a deep subtype recursion when compileing i830.scala. The problem goes away once we make use of the fact that the intersection of two singleton types which are not subtypes of each other is empty.
* | Merge pull request #832 from dotty-staging/fix-#815-hk-constructor-aliasDmitry Petrashko2015-10-231-0/+11
|\ \ | | | | | | Fix #815.
| * | Fix #815.Martin Odersky2015-10-201-0/+11
| | | | | | | | | | | | Need to handle hk-aliases specially in typedNew
* | | Merge pull request #841 from dotty-staging/fix-#831-object-selfodersky2015-10-221-0/+4
|\ \ \ | | | | | | | | Fix #831 object self
| * | | Fix #831Martin Odersky2015-10-221-0/+4
| | |/ | |/| | | | | | | | | | Need to create a self symbols for modules with explicit self type, but need to take care it is already typed, or sourceModule risks running into CyclicReferences.
* | | Merge pull request #835 from dotty-staging/add-more-testsodersky2015-10-224-0/+53
|\ \ \ | |/ / |/| | Add more tests
| * | More testsMartin Odersky2015-10-214-0/+53
| |/
* / Fix tests to survive wellformedness checksMartin Odersky2015-10-222-2/+2
|/
* Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-201-1/+1
|\ | | | | Check that some types are not higher-kinded.
| * Check that some types are not higher-kinded.Martin Odersky2015-10-071-1/+1
| | | | | | | | Invalidates #813. Review by @darkdimius.
* | Merge pull request #823 from smarter/fix/lifting-and-inferenceGuillaume Martres2015-10-191-0/+9
|\ \ | | | | | | Always fully define the types of lifted expressions
| * | Always fully define the types of lifted expressionsGuillaume Martres2015-10-191-0/+9
| | | | | | | | | | | | Fixes #822
* | | Merge pull request #817 from smarter/fix/avoidGuillaume Martres2015-10-121-0/+42
|\ \ \ | |/ / |/| | Fix various issues in `TypeAssigner#avoid`
| * | TypeAssigner#avoid: do not lose type parameters when the base type changes.Guillaume Martres2015-10-091-0/+12
| | | | | | | | | | | | Fixes #741.
| * | Add pos test about escaping refinementsGuillaume Martres2015-10-091-0/+10
| | |
| * | TypeAssigner#avoid: don't miss escaping refs in complex typesGuillaume Martres2015-10-091-1/+9
| | |
| * | TypeAssigner#avoid: more precise types for inner classesGuillaume Martres2015-10-091-0/+12
| | | | | | | | | | | | | | | | | | | | | | | | When we need to avoid `A` in the class `A#B`, we can try to replace `A` by a supertype. Previously, we only tried to replace `A#B` itself by a supertype. Fixes #711.
* | | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-071-0/+17
|\ \ \ | |_|/ |/| | Change inference
| * | Generalize set of typevars instantiated before implicit searchMartin Odersky2015-09-181-0/+7
| | | | | | | | | | | | | | | | | | We now also consider type variables in a selection prefix of the application. The test case was augmented to include a snippet which only succeeds under the generalization.
| * | Add test caseMartin Odersky2015-09-181-0/+10
| | |
* | | Merge pull request #805 from dotty-staging/change-freeze-boundsodersky2015-10-061-0/+245
|\ \ \ | |_|/ |/| | Change : freeze bounds
| * | Add test caseMartin Odersky2015-10-011-0/+245
| | | | | | | | | | | | | | | Iter2.scala fails with 6 errors, but succeeds once lubs and glbs do not try to unify under invariant type constructors.
* | | Merge pull request #804 from svalaskevicius/fix-compiling-ScalaRunTimeodersky2015-10-021-0/+9
|\ \ \ | |/ / |/| | fix compiling ScalaRunTime.scala
| * | add a test for a pattern match with ignored type paramSarunas Valaskevicius2015-09-251-0/+9
| | |
* | | Move test to posMartin Odersky2015-09-291-0/+7
|/ / | | | | | | | | A test that checked for errors on overloading now succeeds with the new rules.
* | Fixes to comments suggested by reviewerMartin Odersky2015-09-211-4/+4
| | | | | | | | Fixes suggested by @marter when reviewing previous hk PR.
* | Eta expand $apply projected types if neededMartin Odersky2015-09-213-0/+625
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-52/+0
| | | | | | | | | | | | 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.
* | Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-181-1/+34
| | | | | | | | ...unless the HK type can be eta-reduced to a class type.
* | Eta expand type arguments corresponding to lambdasMartin Odersky2015-09-181-2/+2
|/ | | | | 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.
* Fix desugaring problemMartin Odersky2015-09-121-0/+565
| | | | Desugaring worked incorrectly when both context bounds and default parameters were present.
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-19 13:27:16 +0000