aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #1153 from dotty-staging/vc-companionsodersky2016-03-096-0/+16
|\ | | | | Fix for separate compilation with value class issue (#1137)
| * Fix for separate compilation with value class issue (missing companion ↵VladimirNik2016-03-076-0/+16
| | | | | | | | object - #1137)
* | Allow successive opening comments.Martin Odersky2016-03-071-0/+10
|/ | | | Fixes #1052.
* Merge pull request #1150 from dotty-staging/change-lambdalift-fasttrackodersky2016-03-071-9/+0
|\ | | | | Change lambdalift - fasttrack
| * Handle local traits in lambda liftMartin Odersky2016-03-011-9/+0
| |
* | Neg tests: remove negTest flag; neg tests are binded to neg directoryVladimirNik2016-03-031-2/+2
| |
* | Neg tests: remove xerror parameter from tests (compute based on // error)VladimirNik2016-03-032-0/+46
|/
* Merge pull request #1112 from dotty-staging/value-classes-private-this-paramDmitry Petrashko2016-02-201-0/+18
|\ | | | | Value classes: add support for private[this] parameter
| * Add support for private[this] parameter in value classesVladimirNik2016-02-191-0/+18
| |
* | Merge pull request #1072 from dotty-staging/change-isVolatile-2odersky2016-02-195-0/+544
|\ \ | |/ |/| Change is volatile 2
| * Allow Named Arguments in TypeArgsMartin Odersky2016-02-191-1/+15
| | | | | | | | Lets one also pass named arguments to methods.
| * Add some flexibility in comparing named and unnamed parameterized types.Martin Odersky2016-02-191-0/+58
| |
| * Fix problem of overloading resolution when receiver is not stable.Martin Odersky2016-02-191-0/+15
| |
| * More named param testsMartin Odersky2016-02-193-0/+437
| | | | | | | | Also, add an unrelated test file to pos.
| * Augment test caseMartin Odersky2016-02-191-2/+5
| |
| * First version of named type argumentsMartin Odersky2016-02-191-0/+17
| |
* | Merge pull request #1106 from dotty-staging/neg-linesDmitry Petrashko2016-02-192-4/+4
|\ \ | |/ |/| Neg tests check files for // error markers (rebased and updated)
| * Neg tests: remove // error from pos testsVladimirNik2016-02-192-2/+2
| |
| * Adapt neg tests to new neg tests checksVladimirNik2016-02-181-1/+1
| |
| * Negtests with // error commentsvsalvis2016-02-183-5/+5
| |
* | Merge pull request #1107 from dotty-staging/fix/wildApprox-lazyrefodersky2016-02-191-0/+5
|\ \ | | | | | | ProtoTypes#wildApprox: fix LazyRef approximation
| * | ProtoTypes#wildApprox: fix LazyRef approximationGuillaume Martres2016-02-181-0/+5
| |/ | | | | | | | | | | | | | | | | | | | | | | Before this commit, the output of `wildApprox(A)` where `A <: Sys[LazyRef(A)]` was `? <: Sys[LazyRef(() => wildApprox(A))]`. This lead to infinite subtyping checks. This is fixed by always approximating a LazyRef by an unbounded wildcard. Since we only create LazyRefs when we encounter a cycle, this should be safe. Fix #1103.
* | Merge pull request #898 from dotty-staging/add/auto-uncurryodersky2016-02-181-0/+10
|\ \ | |/ |/| Implement auto tupling of function arguments
| * Fix pos testMartin Odersky2016-02-161-1/+1
| | | | | | | | Former test no longer allowed after conforms/compatible change.
| * Add more pos and neg testsMartin Odersky2016-02-161-0/+2
| | | | | | | | Tests suggested by @retronym's comments on issue #897.
| * Auto-uncurry n-ary functions.Martin Odersky2016-02-161-0/+8
| | | | | | | | Implements SIP #897.
* | Add test caseMartin Odersky2016-02-161-0/+18
|/
* Allow enclosing module as qualifying classMartin Odersky2016-02-121-0/+7
|
* Enable tests for old fixed issuesGuillaume Martres2016-02-091-0/+8
| | | | Fix #530, #654, #681, #684, #685
* Merge pull request #1051 from dotty-staging/change-isVolatileodersky2016-02-098-231/+31
|\ | | | | Change is volatile
| * Reorganize tests to account for new typing of projectionMartin Odersky2016-02-097-231/+0
| | | | | | | | | | | | Tests with failed projections are moved to pos-scala2, which was renamed from pos-special. Files in pos-scala2 are compiled with -language:Scala2 option.
| * Use isRealizable to identify stable prefixesMartin Odersky2016-02-091-0/+31
| | | | | | | | | | | | | | Replaces isVolatile, which is too weak (and more complicated). Backwards compatibility with Scala2 is ensured by dropping the requirement in Scala2 mode. Fixes #1047, which now compiles without inifinite recursion.
* | Merge pull request #1058 from dotty-staging/fix-#864-v2Guillaume Martres2016-02-091-0/+10
|\ \ | |/ |/| Prune constraints that could turn into cycles
| * Prune constraints that could turn into cyclesMartin Odersky2016-02-051-0/+10
| | | | | | | | Fixes #864. Review by @smarter.
* | Merge pull request #1053 from dotty-staging/fix-#1045odersky2016-02-082-3/+8
|\ \ | | | | | | Fix #1045
| * | Try to make refinements match in approximateUnionsMartin Odersky2016-02-041-0/+7
| | | | | | | | | | | | | | | See comment in Typer#approximateUnion for an explanation. Fixes #1045.
| * | Push `|' into corresponding RefinedTypes in approximateUnionMartin Odersky2016-02-041-3/+1
| |/ | | | | | | | | This gives in general a supertype, that's OK for approximation. See ee76fda for an explanation.
* | Merge pull request #1067 from dotty-staging/fix-1065odersky2016-02-081-0/+12
|\ \ | | | | | | Fix #1065 erasedLub for arrays of primitives.
| * | Test that #1065 is fixed.Dmitry Petrashko2016-02-081-0/+12
| |/
* / Fix #1044: handle TypevarsMissContext mode in wildApproxGuillaume Martres2016-02-061-0/+3
|/ | | | | | | | | | | | | | When `wildApprox` encounters a PolyParam it approximates it by its bounds in the current constraint set, but this is incorrect if `TypevarsMissContext` is set, we might get the bounds of another use of this `PolyType`. This is exactly what happened in i1044.scala where the implicit view `refArrayOps` needs to be used twice with two different type parameters. The fix is to approximate a PolyParam by its original bounds in its PolyType if `TypevarsMissContext` is set. This fix was inspired by the approach of #1054.
* Test that #939 is fixedDmitry Petrashko2016-01-241-0/+8
|
* Merge pull request #1039 from dotty-staging/fix-#998Guillaume Martres2016-01-231-0/+6
|\ | | | | Fix #998
| * Fix #998Martin Odersky2016-01-201-0/+6
| | | | | | | | Needed a fix in approximateUnion.
* | Fix #1036Martin Odersky2016-01-201-0/+12
|/ | | | Achieved by tweaking from where we get the parameter types of an eta-expansion.
* Fix caching bug: don't assume that tvars instantiation cannot be retractedGuillaume Martres2016-01-171-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* Compute type params in namer without completing the whole infoMartin Odersky2016-01-161-0/+6
| | | | | | | | | Type params should be computed before computing the whole info of a type. Without the patch we get a cyclic reference in the compileMixed test. Note that compileIndexedSeq does not pass with this commit (it passed before), this is fixed in the next commit.
* Fix checkNonCyclic.Martin Odersky2016-01-161-0/+2
| | | | | | | Need to also look info refined types. Need to handle case where we hit a NoCompleter again. Fixes #974 and makes MutableSortedSetFactory in stdlib compile.
* Merge pull request #1005 from dotty-staging/ycheck-erasure-arraysDmitry Petrashko2016-01-042-0/+30
|\ | | | | Ycheck that scala.Array is erazed to either Object or JavaArrayType.
| * Fix erasure of raw arraysDmitry Petrashko2015-12-211-0/+15
| |
| * Minimize #996Dmitry Petrashko2015-12-201-0/+15
| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-19 05:07:43 +0000