aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | Merge pull request #1966 from dotty-staging/topic/error-messages-unit-testsFelix Mulder2017-02-105-4/+121
|\ \ \ \ | |_|/ / |/| | | Fix #1965: add proper testing infrastructure for reporting tests
| * | | Address reviews for #1966Felix Mulder2017-02-102-10/+12
| | | |
| * | | Make DottyTest a TraitFelix Mulder2017-02-102-3/+3
| | | |
| * | | Fix #1965: add proper testing infrastructure for reporting testsFelix Mulder2017-02-103-1/+116
|/ / /
* | | Merge pull request #1936 from dotty-staging/fix-1916-on-implicit-functionsodersky2017-02-085-6/+45
|\ \ \ | | | | | | | | Fix #1916: fix erasure of implicit xxl closures
| * | | Fix #1916: fix erasure of implicit xxl closuresNicolas Stucki2017-02-035-6/+45
| | | | | | | | | | | | | | | | This commit extends the fix done in #1920 to implicit closures.
* | | | Merge pull request #1921 from dotty-staging/fix-#1907odersky2017-02-089-43/+90
|\ \ \ \ | | | | | | | | | | Fix #1907: Improve error message
| * | | | Update test fileMartin Odersky2017-02-011-0/+22
| | | | | | | | | | | | | | | | | | | | Updated with SI issues reported by Jason
| * | | | Improve formattingMartin Odersky2017-02-011-14/+19
| | | | |
| * | | | Disallow taking a class tag of Nothing or Null.Martin Odersky2017-02-017-7/+21
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | It seems in most cases this leads to weird behavior and cause confusing error messages later. It also means we cannot create an Array[Nothing], except by passing the classtag explicitly.
| * | | | Handle Array classtags in the same way as othersMartin Odersky2017-02-012-22/+28
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The previous implicit definition of arrayTag in DottyPredef priorities arrayTag over all other classtag searches, which led to surprising results in `i1907a.scala`.
| * | | | Add to test caseMartin Odersky2017-01-312-5/+20
| | | | |
| * | | | ADT and Serialization testMartin Odersky2017-01-318-0/+508
| | | | | | | | | | | | | | | | | | | | | | | | | The test exercises all the improvements made in previous commits of this branch.
| * | | | Print typerstate nesting info as part of constr printingMartin Odersky2017-01-312-5/+11
| | | | | | | | | | | | | | | | | | | | | | | | | When printing info about adding to constraints, show the hashes of the typerstate stack, so that we know where constraints are added.
| * | | | Implement SearchResult.showMartin Odersky2017-01-313-5/+31
| | | | |
| * | | | Allow implicit-by-name parametersMartin Odersky2017-01-312-7/+4
| | | | |
| * | | | Avoid recomputation of companionRefsMartin Odersky2017-01-311-5/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The previous condition for caching companionRefs contained a condition result.companionRefs.forall(implicitScopeCache.contains) which was always false because we cache types in `implicitCodeCache`, not companion refs. The new logic fixes this and does not need a second traversal because it is integrated in `iscopeRefs`.
* | | | | Merge pull request #1941 from dotty-staging/fix/infix-posodersky2017-02-0811-43/+57
|\ \ \ \ \ | | | | | | | | | | | | Better positions for infix operations
| * | | | | Better positions for infix term operations.Guillaume Martres2017-02-052-2/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Preserving the position of infix operators is useful for IDEs' type-at-point. We also preserve the position of the untyped lhs of right-associative operators, this is useful both for IDEs and for error messages, before: 4 |val x: List[Int] = "foo" :: List(1) | ^ | found: String($1$) | required: Int | After: scala> val x: List[Int] = "foo" :: List(1) -- [E007] Type Mismatch Error: <console> --------------------------------------- 4 |val x: List[Int] = "foo" :: List(1) | ^^^^^ | found: String($1$) | required: Int | Note: It would be even nicer if we displayed "String" instead of "String($1$)" since $1$ is synthetic, this commit does not address this.
| * | | | | Represent untyped operators as Ident instead of NameGuillaume Martres2017-02-0510-43/+48
| | |_|/ / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This has two advantages: - We can distinguish BackquotedIdent from Ident, allowing the user to use a defined "type `&`", see testcase. - We get better positions for the operators. This is useful in IDEs, for example to get the type at point.
* | | | | Merge pull request #1943 from dotty-staging/fix/lambda-positionodersky2017-02-081-0/+2
|\ \ \ \ \ | | | | | | | | | | | | Positioned#initialPos: Union the position of every children
| * | | | | Positioned#initialPos: Union the position of every childrenGuillaume Martres2017-02-051-0/+2
| |/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | Previously we missed some children, one consequence of this is that the position of the typed tree corresponding to the lambda "z => 1" did not contain the position of "z".
* | | | | Merge pull request #1952 from dotty-staging/fix/object-namePosodersky2017-02-081-2/+2
|\ \ \ \ \ | | | | | | | | | | | | Trees#namePos: Correct position for objects
| * | | | | Trees#namePos: Correct position for objectsGuillaume Martres2017-02-061-2/+2
| |/ / / /
* | | | | Merge pull request #1953 from dotty-staging/fix-wildapproxodersky2017-02-086-40/+66
|\ \ \ \ \ | |_|_|_|/ |/| | | | Fix to wildapprox
| * | | | Add output check fileMartin Odersky2017-02-081-0/+1
| | | | |
| * | | | Another test caseMartin Odersky2017-02-071-0/+7
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Prompted by a discussion on the Scala reddit, this one verified that dotty does not have the problem exhibited in SI-10170. I piggyback on this PR because this does not warrant a separate PR>
| * | | | Fix wildApprox functionMartin Odersky2017-02-074-40/+58
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | f-bounded-case-class.scala exhibited a StackOverflow in wildApprox before the fixes. The problem was due to F-bounds. Note: wildApprox is performance critical. I ran timed-bootstrap-repeated a couple of times to verify that the changes did not affect runtimes in significant ways. We should also watch out for a slowdown in the benchmark tests.
* | | | | Merge pull request #1918 from dotty-staging/fix-implicits-genericodersky2017-02-0815-22/+574
|\ \ \ \ \ | |_|/ / / |/| | | | Improvements to implicits
| * | | | Add to test caseMartin Odersky2017-02-082-5/+20
| | | | |
| * | | | ADT and Serialization testMartin Odersky2017-02-088-0/+508
| | | | | | | | | | | | | | | | | | | | | | | | | The test exercises all the improvements made in previous commits of this branch.
| * | | | Print typerstate nesting info as part of constr printingMartin Odersky2017-02-082-5/+11
| | | | | | | | | | | | | | | | | | | | | | | | | When printing info about adding to constraints, show the hashes of the typerstate stack, so that we know where constraints are added.
| * | | | Implement SearchResult.showMartin Odersky2017-02-083-5/+31
| | | | |
| * | | | Allow implicit-by-name parametersMartin Odersky2017-02-082-7/+4
| | | | |
| * | | | Avoid recomputation of companionRefsMartin Odersky2017-02-081-5/+5
|/ / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The previous condition for caching companionRefs contained a condition result.companionRefs.forall(implicitScopeCache.contains) which was always false because we cache types in `implicitCodeCache`, not companion refs. The new logic fixes this and does not need a second traversal because it is integrated in `iscopeRefs`.
* | | | Merge pull request #1939 from dotty-staging/topic/dottydoc-html-enhancementsFelix Mulder2017-02-037-17/+165
|\ \ \ \ | | | | | | | | | | [doc] html enhancements
| * | | | fix #1940 - broken .md linksFelix Mulder2017-02-031-4/+4
| | | | |
| * | | | Add constructors to docsFelix Mulder2017-02-033-17/+51
| | | | |
| * | | | Make sure `TypeAlias`es get proper docstrings and linked aliasesFelix Mulder2017-02-033-0/+14
| | | | |
| * | | | Add supertypes and annotations to entity titleFelix Mulder2017-02-033-0/+36
| | | | |
| * | | | Add type parameters to entity title and render return type correctlyFelix Mulder2017-02-032-1/+22
| | | | |
| * | | | Add expansion of docstringsFelix Mulder2017-02-032-1/+44
|/ / / /
* | | | Merge pull request #1937 from dotty-staging/fix/classpath-dottydoc-testsFelix Mulder2017-02-033-24/+26
|\ \ \ \ | |_|_|/ |/| | | Fix classpaths in dottydoc tests
| * | | Fix classpaths in dottydoc testsFelix Mulder2017-02-033-24/+26
| | | |
* | | | Merge pull request #1930 from dotty-staging/fix-#1568odersky2017-02-033-87/+97
|\ \ \ \ | | | | | | | | | | Fix #1568 - avoid transforming error trees
| * | | | Fix #1568 - avoid transforming error treesMartin Odersky2017-02-023-87/+97
| | |/ / | |/| | | | | | | | | | | | | | If a tree has type error, subtrees may not have an assigned type. Therefore we should avoid transforming such trees.
* | | | Merge pull request #1933 from dotty-staging/merge-companionodersky2017-02-031-2/+4
|\ \ \ \ | |_|/ / |/| | | Weaken assumption in mergeCompanionDefs
| * | | Weaken assumption in mergeCompanionDefsliu fengyun2017-02-021-2/+4
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Previously `mergeCompanionDefs` assumes that if the attachment of class `Foo` is as follows: x :: y :: tdef @ TypeDef(_, templ) Then the `tdef` must be `Foo$`. When there are multiple pre-typer transforms, this is not necessarily true. For example, an annotation macro expansion may expand a non-case class `Foo` to `class Foo; object FooA`. We need to check the name of `tdef` to be equal to `Foo$`.
* | | | Change integrations to only fire on changed build statusFelix Mulder2017-02-023-3/+10
| | | |
* | | | Update plugin using fixed secretFelix Mulder2017-02-022-2/+1
| | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 20:06:36 +0000