aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Merge pull request #2267 from dotty-staging/fix-constant-lazy-valsDmitry Petrashko2017-04-1910-0/+83
|\ | | | | Fix #2266: Do not replace constant type lazy vals with constant.
| * Pruning branch of constant type condition.Nicolas Stucki2017-04-172-0/+13
| | | | | | | | As done in inliner.
| * Only allow constant type vals to be inlined.Nicolas Stucki2017-04-172-0/+23
| |
| * Fix constant type val value inline in constructors.Nicolas Stucki2017-04-164-0/+35
| |
| * Fix #2266: Do not replace constant type lazy vals with constant.Nicolas Stucki2017-04-152-0/+12
| |
* | Add testMartin Odersky2017-04-181-0/+13
| |
* | Render line and col in error message for clickabilityFelix Mulder2017-04-163-16/+16
|/
* Recurse into refined type when exposing membersAleksander Boruch-Gruszecki2017-04-132-3/+29
|
* Fix #2220: disable benchmarks, set run timeout to 30 secondsFelix Mulder2017-04-1310-35/+0
|
* Merge branch 'master' into fix-2253liu fengyun2017-04-133-0/+66
|\
| * Merge pull request #2256 from dotty-staging/fix-2254liu fengyun2017-04-131-0/+6
| |\ | | | | | | fix #2254: dealias types in decomposition of spaces
| * \ Merge pull request #2231 from dotty-staging/fix-#2230Guillaume Martres2017-04-131-0/+22
| |\ \ | | | | | | | | Fix #2230: Add regression test.
| | * | Fix #2230: Add regression test.Nicolas Stucki2017-04-121-0/+22
| | | |
| * | | Merge pull request #2209 from dotty-staging/fix-#2152odersky2017-04-131-0/+7
| |\ \ \ | | | | | | | | | | Fix #2152: Instantiate dependent result type parameters
| | * | | Fix #2152: Instantiate dependent result type parametersMartin Odersky2017-04-111-0/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | #2152 shows that dependent result type parameters can end up in the types of terms, so we have to eliminate them. If we don't we get orphan parameters in pickling. Fix method name and comment
| * | | | Revert <: Product requierment in pattern matchingOlivier Blanvillain2017-04-131-0/+37
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The change in question broke the following pattern, commonly used in name based pattern matching: ```scala object ProdEmpty { def _1: Int = ??? def _2: String = ??? def isEmpty = true def get = this } ``` This type define both `_1` and `get` + `isEmpty` (but is not <: Product). After #1938, `ProdEmpty` became eligibles for both product and name based pattern. Because "in case of ambiguities, *Product Pattern* is preferred over *Name Based Pattern*", isEmpty wouldn't be used, breaking the scalac semantics.
* | | | | fix #2253: avoid exception with refinement typesliu fengyun2017-04-131-0/+7
| |_|_|/ |/| | |
* | | | fix #2254: dealias types in decomposition of spacesliu fengyun2017-04-131-0/+6
|/ / /
* | | Add ability to only compile run testsFelix Mulder2017-04-121-7/+0
| | |
* | | Implement meta tests suggested by @DarkDimiusFelix Mulder2017-04-125-0/+76
| | | | | | | | | | | | | | | | | | Note that merging this as-is will not protect us against fork bombs. This is because the timeout of tests is currently 180 seconds. A forkbomb that is allowed to run for that long...
* | | Disable scalac internals testsFelix Mulder2017-04-127-0/+1
| | |
* | | Merge pull request #2229 from dotty-staging/sync-classfile-parserodersky2017-04-123-0/+32
|\ \ \ | |_|/ |/| | Port some ClassfileParser changes from scalac
| * | Disable t5293, benchmarks should not be run as testsGuillaume Martres2017-04-111-0/+0
| | |
| * | SI-9915 Utf8_info are modified UTF8Guillaume Martres2017-04-112-0/+32
| | | | | | | | | | | | | | | | | | | | | | | | | | | Adapted from scalac commit 3c5990ce5839f4bdfca8fed7f2c415a72f6a8bd8 by Som Snytt: Use DataInputStream.readUTF to read CONSTANT_Utf8_info. This fixes reading embedded null char and supplementary chars.
* | | Merge pull request #2225 from dotty-staging/fix-#2192odersky2017-04-112-3/+21
|\ \ \ | |/ / |/| | Fix #2212: Avoid imports in the wrong namespace
| * | Increase time limit for failing testMartin Odersky2017-04-111-3/+2
| | |
| * | Fix #2212: Avoid imports in the wrong namespaceMartin Odersky2017-04-111-0/+19
| | | | | | | | | | | | | | | | | | Don't issue an error if when considering a named import that refers to a valoe or type which does not exist. Instead, disregard the import an continue.
* | | Merge pull request #2228 from dotty-staging/fix-#2218odersky2017-04-111-0/+9
|\ \ \ | | | | | | | | Fix #2218: Add fullyDefinedType for class parent types
| * | | Add fullyDefinedType for class parent typesMartin Odersky2017-04-111-0/+9
| | |/ | |/| | | | | | | | | | | | | If we do not do that, any type variables in the parent type get interpolated later, when the whole primary constructor is typed. But by then we miss the context of what their variance was.
* | | Merge pull request #2216 from dotty-staging/fix-2163odersky2017-04-111-0/+21
|\ \ \ | |/ / |/| | fix #2163: don't narrow liftedOwner if symbol is InSuperCall
| * | 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
| | |
* | | Fix #2219: Fix type applications on WildcardTypeGuillaume Martres2017-04-111-0/+7
|/ / | | | | | | | | | | | | Previously we just returned the unapplied WildcardType which is incorrect if the WildcardType is bounded. The proper thing to do is to do the type application on the bounds of the WildcardType and wrap the result in a WildcardType.
* | Merge pull request #1938 from dotty-staging/named-based-patmatFelix Mulder2017-04-116-0/+111
|\ \ | | | | | | Change case class desugaring and decouple Products and name-based-pattern-matching
| * | Add testsOlivier Blanvillain2017-04-066-0/+111
| | | | | | | | | | | | | | | | | | - t7296 & case-class-23 are moved out of pending - 1938 tests productElement > 23
* | | Merge pull request #2215 from dotty-staging/#2142odersky2017-04-111-0/+28
|\ \ \ | | | | | | | | Fix #2142: Skolemize arguments of dependent methods if necessary
| * | | Skolemize arguments to dependent methods as necessary.Martin Odersky2017-04-101-0/+28
| | | | | | | | | | | | | | | | This was missing before, led to errors not being detected.
* | | | Merge pull request #2197 from dotty-staging/add-enum-exhaustivenessodersky2017-04-1010-5/+98
|\ \ \ \ | | | | | | | | | | Add enum exhaustivity checking
| * | | | add more enum exhaustivity testsliu fengyun2017-04-063-0/+77
| | | | |
| * | | | exhaustivity support for enumsliu fengyun2017-04-066-5/+17
| | | | |
| * | | | 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.
* | | | Merge pull request #2206 from dotty-staging/fix-#2198odersky2017-04-101-0/+6
|\ \ \ \ | |_|/ / |/| | | Fix #2198: Don't widen module singletons
| * | | Fix #2198: Don't widen module singletonsMartin Odersky2017-04-091-0/+6
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Since module classes are a compiler-generated construct that's not directly visible to programmers, it seems better not to automatically widen a module singleton to its underlying class. Fixes #2198.
* | | | Merge pull request #2207 from dotty-staging/fix-#2188Nicolas Stucki2017-04-091-0/+5
|\ \ \ \ | | | | | | | | | | Fix #2188: Do cbn transform also on Selects
| * | | | Fix #2188: Do cbn transform also on SelectsMartin Odersky2017-04-091-0/+5
| |/ / / | | | | | | | | | | | | These can arise as a result of an explicit outer transform.
* | | | Merge pull request #2208 from dotty-staging/fix-#2192Guillaume Martres2017-04-091-0/+7
|\ \ \ \ | | |_|/ | |/| | Fix #2192: Follow supertypes when determining whether an expect type …
| * | | Fix #2192: Fullow supertypes when determining whether an expect type is a ↵Martin Odersky2017-04-091-0/+7
| |/ / | | | | | | | | | function type
* | | Merge pull request #2205 from dotty-staging/fix-#2220odersky2017-04-092-0/+10
|\ \ \ | |/ / |/| | Fix #2220: Change handling of package objects and tweak hk type inference
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-29 02:25:45 +0000