aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/DottyPredef.scala
Commit message (Collapse)AuthorAgeFilesLines
* Move eqAny to PredefMartin Odersky2016-05-231-0/+8
|
* Add Eq instances of standard types to PredefMartin Odersky2016-05-231-0/+24
| | | | | | | | | To make tests pass, this required a looser specification of `assumedCanEquals`, so that an abstract type T can be compared to arbitrary values, as long as its upper bound can be compared. E.g. T == null T == "abc"
* Fix search of Array classTags.Martin Odersky2016-02-201-3/+3
| | | | | If a classtag for `T` is available, a classtag for `Array[T]` can also be generated.
* Synthesize classTags in Typer.Martin Odersky2016-02-201-29/+5
| | | | | | | Now diagnoses missing ClassTags of abstract types as implicit failures. Also: Simpler API of tpd.clsOf.
* Enable tests for old fixed issuesGuillaume Martres2016-02-091-3/+3
| | | | Fix #530, #654, #681, #684, #685
* Stratify classTags in DottyPredefMartin Odersky2015-06-221-9/+21
| | | | | | | | | | | | Test case in pending/run/array-addition.scala. The problem was that implicit search failed to insert `genericArrayOps` around `Array()`. The reason was that the implicit parameter for `genericArrayOps` was ambiguous, multiple `classTag` methods matched the expected type `ClassTag[?T >: Nothing]`. Stratifying ClassTags in DottyPredef into layers according to implicit priority avoids this problem. This is a temporary solution until we have proper ClassTag handling in place.
* Give implicit ClassTags in DottyPredef explicit types.Dmitry Petrashko2015-05-081-16/+14
|
* Add primitive ClassTags to DottyPredefDmitry Petrashko2015-05-051-0/+16
|
* Make DottyPredef compilable with -Yno-importsMartin Odersky2015-05-041-2/+3
| | | | | | | DottyPredef needs to be compiled with -Yno-imports because it would clash otherwise with the DottyPredef in the root context. Note that ??? has to be written in fully qualified form because of #530.
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
|
* Rename dotty.Predef -> dotty.DottyPredefMartin Odersky2014-02-021-0/+10
to avoid accidental confusion with scala.Predef