aboutsummaryrefslogtreecommitdiff
path: root/tests/run
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #2225 from dotty-staging/fix-#2192odersky2017-04-111-3/+2
|\ | | | | Fix #2212: Avoid imports in the wrong namespace
| * Increase time limit for failing testMartin Odersky2017-04-111-3/+2
| |
* | Remove check fileMartin Odersky2017-04-111-1/+0
| |
* | Handle supercalls in inner classes correctlyMartin Odersky2017-04-111-2/+14
| | | | | | | | | | | | The previous fix was too coarse. We need to move an anonymous function in a supercall towards the call, we just have to make sure it's not in the directly enclosing class.
* | add missing printliu fengyun2017-04-111-1/+1
| |
* | fix #2163: don't narrow liftedOwner if symbol is InSuperCallliu fengyun2017-04-112-0/+10
| |
* | Merge pull request #1938 from dotty-staging/named-based-patmatFelix Mulder2017-04-115-0/+146
|\ \ | | | | | | Change case class desugaring and decouple Products and name-based-pattern-matching
| * | Add testsOlivier Blanvillain2017-04-065-0/+146
| |/ | | | | | | | | | | - t7296 & case-class-23 are moved out of pending - 1938 tests productElement > 23
* / Add child annotations for enum valuesMartin Odersky2017-04-061-0/+4
|/ | | | | A new kind of child annotation that points to the term symbol representing an enum value.
* Another test fixedMartin Odersky2017-04-051-1/+1
|
* Update test and add check fileMartin Odersky2017-04-052-1/+9
|
* Implementation of proposal changesMartin Odersky2017-04-053-5/+31
| | | | | - rename utility methods - generate utility methods also for object cases
* Add check fileMartin Odersky2017-04-051-0/+1
|
* New and updated testsMartin Odersky2017-04-043-0/+34
|
* Support cases with type parameters that extend a non-parameterized baseMartin Odersky2017-04-041-0/+22
| | | | | | | | Support cases with type parameters that implicitly extend a non-parameterized base without needing their own extends clause. The proposal has been updated to make clear that this is supported. Also address other reviewers comments.
* Support comma-separated enum constantsMartin Odersky2017-04-041-3/+1
|
* Change enumeration members.Martin Odersky2017-04-042-2/+4
| | | | | | | | | | | | | Based on the discussion in #1970, enumeration objects now have three public members: - valueOf: Map[Int, E] - withName: Map[String, E] - values: Iterable[E] Also, the variance of case type parameters is now the same as in the corresponding type parameter of the enum class.
* Change return type of `apply`.Martin Odersky2017-04-041-1/+4
| | | | | | | | | | | In an enum case like case C() extends P1 with ... with Pn ... apply now returns `P1 & ... & Pn`, where before it was just P1. Also, add to Option test.
* More fine-grained distinctions when flags are defined.Martin Odersky2017-04-041-0/+16
| | | | | | | | | | | | | | Flags like Trait are in fact not always defined when a symbol is created. For symbols loaded from class files, this flag, and some other is defined only once the classfile has been loaded. But this happens in general before the symbol is completed. We model this distinction by separating from the `FromStartFlags` set a new set `AfterLoadFlags` and distinguishing between the two sets in `SymDenotations#is`. Test case is enum-Option.scala. This erroneously complained before that `Enum` was not a trait.
* New test caseMartin Odersky2017-04-042-0/+30
|
* Link generic test to actual implementations of Enum and EnumValuesMartin Odersky2017-04-043-26/+2
| | | | These are now implemented in scala.runtime.
* Another testMartin Odersky2017-04-042-0/+11
|
* Add testsMartin Odersky2017-04-046-0/+39
|
* Adapt generic tests to model modified enum values schemeMartin Odersky2017-04-045-21/+35
|
* Merge pull request #2159 from dotty-staging/fix-hashcodeDmitry Petrashko2017-04-031-4/+4
|\ | | | | Make case class hashCode take class into account
| * Merge branch 'master' into fix-hashcodeFelix Mulder2017-04-021-0/+37
| |\
| * | Optimize hashCode computationMartin Odersky2017-03-311-4/+4
| | | | | | | | | | | | Also, update check file.
* | | Test that SI-4400 stays fixed.Dmitry Petrashko2017-03-311-0/+35
| |/ |/|
* | Test that #2156 is fixedDmitry Petrashko2017-03-301-0/+37
|/
* Fix #2147: redirect both java and scala std out/errFelix Mulder2017-03-292-0/+10
|
* Add run testing capabilitiesFelix Mulder2017-03-297-73/+5
|
* Merge pull request #2127 from dotty-staging/fix/variable-pattern-accessGuillaume Martres2017-03-282-0/+23
|\ | | | | Fix desugaring of variable pattern leaking into API
| * Fix desugaring of variable pattern leaking into APIGuillaume Martres2017-03-212-0/+23
| | | | | | | | | | This was especially bad for incremental compilation since the temporary variable name is unstable.
* | Update check fileMartin Odersky2017-03-202-4/+4
| |
* | Add test casesMartin Odersky2017-03-206-3/+80
|/
* Fixed #1573: Add tests for fixed issue.Nicolas Stucki2017-03-202-0/+10
|
* Merge pull request #2058 from dotty-staging/fix-2054liu fengyun2017-03-181-0/+13
|\ | | | | Fix #2054
| * Test that #2054 is fixed.Dmitry Petrashko2017-03-071-0/+13
| |
* | Fix #2099: avoid loading a private member when recomputing a NamedType denotGuillaume Martres2017-03-163-0/+28
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ParamForwarding creates the following forwarder in B: private[this] def member: Int = super.member Where the type for `super.member` is `TermRef(SubA, member)` and the symbol is the `val member` in `A`. So far this is correct, but in later phases we might call `loadDenot` on this `TermRef` which will end up calling `asMemberOf`, which before this commit just did: prefix.member(name) This is incorrect in our case because `SubA` also happens to have a private `def member`, which means that our forwarder in B now forwards to a private method in a superclass, this subsequently crashes in `ExpandPrivate`. (Note: in the bytecode, a private method cannot have the same name as an overriden method, but this is already worked around in EnsurePrivate.) The fix is simple: when we recompute a member, we should only look at private members if the previous denotation was private.
* | Merge pull request #2098 from dotty-staging/fix-i1960Guillaume Martres2017-03-141-0/+8
|\ \ | | | | | | Fix #1960: add test
| * | add test for #1960liu fengyun2017-03-141-0/+8
| | |
* | | Fix #2077: Optimization of constant conditionalsMartin Odersky2017-03-132-0/+11
|/ / | | | | | | | | Move fixed logic to FirstTransform, where the other constant folding operations are also done.
* | Merge pull request #2045 from dotty-staging/fix-hlist-hmapodersky2017-03-097-0/+281
|\ \ | | | | | | Fix type inference for HLists and HMaps
| * | New test: covariant hmapsMartin Odersky2017-03-021-0/+97
| | | | | | | | | | | | | | | | | | Type inference tends to take quite different paths for non-variant and variant data structures. Since, non-variant hmap has already exposed quite a few problems, it's good to test it also in the covariant case.
| * | Drop duplication in testMartin Odersky2017-03-011-71/+0
| | |
| * | Add non-variant version of HLists for completenessMartin Odersky2017-02-282-0/+157
| | | | | | | | | | | | | | | Variance changes quite a few things for type inference, so it's good to check a non-variant version as well.
| * | Add check fileMartin Odersky2017-02-281-0/+1
| | |
| * | Independent test case, mentioned in #2004.Martin Odersky2017-02-281-0/+11
| | |
| * | New testMartin Odersky2017-02-282-0/+86
| | | | | | | | | | | | | | | The HLists test brought out the unsoundness of alias rewriting in glbs which is tackled in the last commit.
* | | Drop special case around Function1Martin Odersky2017-03-082-5/+7
| | | | | | | | | | | | | | | | | | Now only Scala2 mode treats Function1's as implicit conversions. Instead we introduce a new subclass ImplicitConverter of Function1, instances of which are turned into implicit conversions.