aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos
Commit message (Collapse)AuthorAgeFilesLines
* Fix to avoidance of singleton type argumentsMartin Odersky2016-08-182-8/+0
| | | | Bring in line with comparisons. Fixes z1720 for good.
* Fixes in comparisons between singleton typesMartin Odersky2016-08-181-16/+0
| | | | | Needed to address problem shown by z1720.scala. Another fix to avoidance is needed to make it pass completely.
* Add passing testsMartin Odersky2016-08-1710-564/+0
|
* Harden copmpareHkApply for ill-typed programsMartin Odersky2016-08-172-39/+0
| | | | Turn assertion into test. Without this, neg/tcpoly_overloaded.scala fails.
* Add clause for HKApply in TypeAssigner#avoidMartin Odersky2016-08-171-27/+0
|
* Move java tests relying on type parameters to pendingGuillaume Martres2016-07-274-0/+44
| | | | | | | Currently, the classfiles emitted by dotty do not contain the type parameters information that javac relies on. Fixing this is tracked by #1303.
* Enable test for fixed #1181: Typer should preserve aliases in TypeTreesGuillaume Martres2016-07-121-12/+0
| | | | This was fixed two commits ago.
* Introduce recursive typesMartin Odersky2016-07-111-0/+14
| | | | | | | | | | | | | | | | | Map self-references in refinements to recursive types. This commit does this for refinement types appearing in source. We still have to do it for unpickled refinements. Test apply-equiv got moved to pending because it simulates the old higher-kinded type encoding in source, which relies on the old representation in terms of self-referential refinement types. The plan is not to adapt this encoding to the new representation, but to replace it with a different encoding that makes critical use of the added power of recursive types. Use recursive types also when unpickling from Scala 2.x. Add mapInfo method to Denotations.
* Add test for #1181 to pendingMartin Odersky2016-03-301-0/+12
|
* Test case for #1149Martin Odersky2016-03-121-0/+18
|
* Fix caching bug: don't assume that tvars instantiation cannot be retractedGuillaume Martres2016-01-171-5/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | When TypeVar#inst is empty but an instantiation exists in the typer state, we should set ephemeral to true, because this instantiation will be retracted if we throw away the current typer state. This makes hkrange.scala pass, it compiled before but the type parameter of `f` was inferred to be `Nothing` because of this bug, and this failed Ycheck. For anyone who wonders how caching bugs manifest themselves, here's what happened in details in hkrange.scala: 1. In an ExploreTyperState we set `CC` to be `IndexedSeq` in the constraint set 2. In that same typer state the TypeRef `CC[Int]` (it's a TypeRef because `CC` is a type lambda) gets the denotation `IndexedSeq[Int]`, which is correct, but the denotation is cached since `ephemeral` is false, which is wrong. 3. Later, we retract the ExplorerTyperState, so `CC` is uninstantiated again and unconstrained. 4. Then we do the subtyping check `CC[Int] <:< IndexedSeq[Int]`, because the denotation of `CC[Int]` was cached, this returns true, but `CC` stays unconstrained. 5. This means that when we instantiate `CC`, we get `Nothing` After this fix, the TypeRef denotation is no longer cached, so when we do `CC[Int] <:< IndexedSeq[Int]`, `CC` gets constrained as expected.
* The big pending/pos test triageMartin Odersky2015-12-20189-3607/+8
|
* Categorize more testsMartin Odersky2015-12-191-0/+10
| | | | All pos tests up to 3999 have been triaged. One new test in pending.
* More testsMartin Odersky2015-10-212-0/+32
|
* Move failing test to pending.Martin Odersky2015-09-181-0/+52
| | | | | | 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.
* Add a test for #743 to pending.Dmitry Petrashko2015-07-281-0/+6
|
* Merge pull request #694 from dotty-staging/fix/dependent-methodsodersky2015-07-061-28/+0
|\ | | | | Fix/dependent methods
| * Add test from pending.Martin Odersky2015-06-251-32/+0
| |
| * Handle normalization of implicit dependent methods.Martin Odersky2015-06-231-1/+5
| | | | | | | | Now handles included test if toplevel implicit is given, but not yet without.
* | Avoid junk produced by Constraint#replace.Martin Odersky2015-06-221-26/+0
|/ | | | | | | | | | | | | | There were two instances where a constraint undergoing a replace would still refer to poly params that are no longer bound after the replace. 1. In an ordering the replaced parameters was n ot removed from the bounds of the others. 2. When a parameter refers to the replaced parameter in a type, (not a TypeBounds), the replaced parameter was not replaced. We now have checking in place that in globally committable typer states, TypeVars are not instantiated to PolyParams and (configurable) that constraints of such typer states are always closed. Fixes #670.
* Add failing test for #670.Martin Odersky2015-06-191-0/+26
|
* Move tests that have " macro" or "reify" to disabled.Dmitry Petrashko2015-06-1556-547/+0
|
* Move test from lambdaLift.scala to a separate file in pending.Dmitry Petrashko2015-06-021-0/+20
|
* Merge pull request #526 from dotty-staging/fix/#522odersky2015-05-032-20/+0
|\ | | | | Fix #522.
| * Moved tests from pendingMartin Odersky2015-05-032-20/+0
| |
* | Enable test strip-tvars-for-lubbasetypes.scalaGuillaume Martres2015-05-031-25/+0
|/ | | | | The test had to be slightly modified because of dotty's stricter checking of type bounds validity, see #525 where this was discussed.
* Enable pending pos tests related to value classesGuillaume Martres2015-05-015-76/+0
| | | | | | | | | | | | | Each test needs to have its own package because pos_all will try to compile the whole valueclasses directory at once. The remaining tests with "extends AnyVal" in tests/pending/pos are related to separate compilation, except for: - t6482.scala and t7022.scala which were fixed by https://github.com/scala/scala/pull/1468 in scalac and seem to trigger a similar bug in FullParameterization - strip-tvars-for-lubbasetypes.scala which was fixed by https://github.com/scala/scala/pull/1758 in scalac
* Ensure spaces after `if` in Dotty tests.Dmitry Petrashko2015-04-096-7/+7
|
* Add spaces around + in tests.Dmitry Petrashko2015-04-097-15/+15
|
* Remove trailing spaces in Dotty tests.Dmitry Petrashko2015-04-097-28/+28
|
* Replace tabs with 4 spaces in Dotty tests.Dmitry Petrashko2015-04-0918-59/+59
|
* add/strictMartin Odersky2015-03-132-49/+0
| | | | | | | | | | | Add -strict option to do some type checks that are encessary to ensure type soundness, but are stricter than what Scala 2.x enforces. The first such test is the "pattern cannot be uniquely instantiated" problem where we reject a non-variant case subclass of a covariant superclass in a pattern match. The error is now only issued in -struct mode, otherwise it will be a warning. We might move more tests into the same category. This should help the transition.
* Java methods: JavaMethodType instead of MethodType, convert Object to AnyOndrej Lhotak2015-02-072-10/+0
| | | | | | | | | | Fixes two bugs needed for java-override test: Namer was creating a MethodType instead of a JavaMethodType even though the JavaDefined flag was set on the DefDef. Following Scalac, Namer needs to convert Java method parameters of type j.l.Object to s.Any.
* New failing testMartin Odersky2015-02-072-0/+10
| | | | As noticed by @retronym, Any and Object are not identified when matching Scala and Java methods. I believe this is because the Java method does not have the Java flag set. @olhotak can you take a look?
* Test reorgMartin Odersky2015-02-0715-210/+1
|
* Fixes handling of op-assignments for polymorphic apply/update.Martin Odersky2015-02-071-15/+0
| | | | See t3252 for a test case.
* Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-318-124/+0
|\ | | | | Fix/t3152 find member
| * Use normnalized type to report type errors.Martin Odersky2015-01-278-124/+0
| | | | | | | | | | | | | | | | | | Without it, we get strange error messages like found: (implicit X)Y requred: Z when the problem is really that Y is not a subtype of Z.
* | Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-319-95/+13
|\ \ | | | | | | Fix/refined subtyping
| * | Fixed problem with ensureSingletonMartin Odersky2015-01-281-16/+0
| | | | | | | | | | | | | | | Need to also ensure that the singleton is stable. This makes compound.scala pass.
| * | Cleanups prompted by reviews.Martin Odersky2015-01-281-1/+4
| |/
| * Moved previously failing tests to posMartin Odersky2015-01-185-130/+0
| | | | | | | | | | GADTs now work again (they stopped workign when we went to the inductive satisfiability checks). The deep for expression also works, even with some more levels added.
| * Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-081-0/+49
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The previous scheme did not ensure that transitivity was eliminated. Example scenario: We have in the constraint P <: Q for constrained variables P, Q and add Q <: T Previous propagation added the constraint and then tested whether the bounds of all variables were satisfiable. For Q we test P <: T but that is true because P <: Q and we already added the constraint Q <: T. So we fail to add the constraint P <: T, and transitivity is no longer eliminated. Instead we now test the new bounds (in this case P <: T) *before* adding the new constraint Q <: T. This is also simpler than the previous scheme.
| * New scheme for subtyping refined types.Martin Odersky2015-01-081-0/+15
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | - Instead of rebasing, use the DeBrujn level of a RefiendThis. - Make sure lower type is a singleton by skolemizing it if necessary. - Do the correct rebinding of the upper type's RefinedThis. Remarks: - The new scheme discovered quite a lot of errors which are mostly fixded in other commits of this branch. i0268 (GADT matching) still does not work, moved to pending. - Some optimizations are currently missing: (1) fast path refined subtyping (2) faster operations for substituting refined thistypes which explot the fact that RefinedThis is relatively rare.
| * Reorg of subtyping.Martin Odersky2015-01-012-0/+14
| | | | | | | | Plus, RefinedThis gets a second parameter, `level`. This will replace the first one in due time.
| * test reorgMartin Odersky2014-12-214-20/+3
| | | | | | | | Moved working tests to pos, annotated non-working ones.
* | Merge pull request #313 from dotty-staging/more-testsDmitry Petrashko2015-01-0913-333/+2
|\| | | | | More tests
| * tests reorgsMartin Odersky2014-12-215-73/+2
| | | | | | | | Move some tests into proper slots + comments what they are.
| * Don't emit copy method for case classes with repeated parameters.Martin Odersky2014-12-201-7/+0
| | | | | | | | | | | | | | | | scalac has the same restriction. The reason is that we do not have a means to specify a sequence-valued default for a vararg parameter. It would be nice if we could, but this requires a more substantial development effort.
| * New passing tests.Martin Odersky2014-12-191-3/+0
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 02:57:13 +0000