@@ -4,23 +4,23 @@ import scala.language.strictEquality
4
4
5
5
/**
6
6
* Multiversal Equality: https://dotty.epfl.ch/docs/reference/contextual/multiversal-equality.html
7
- * scala.Eq definition: https://github.com/lampepfl/dotty/blob/master/library/src/scala/Eql .scala
7
+ * scala.Eq definition: https://github.com/lampepfl/dotty/blob/master/library/src/scala/CanEqual .scala
8
8
*/
9
9
object MultiversalEquality {
10
10
11
11
def test : Unit = {
12
12
13
13
// Values of types Int and String cannot be compared with == or !=,
14
14
// unless we add the derived delegate instance like:
15
- given Eql [Int , String ] = Eql .derived
15
+ given CanEqual [Int , String ] = CanEqual .derived
16
16
println(3 == " 3" )
17
17
18
18
// By default, all numbers are comparable, because of;
19
- // implicit def eqlNumber: Eql [Number, Number] = derived
19
+ // implicit def eqlNumber: CanEqual [Number, Number] = derived
20
20
println(3 == 5.1 )
21
21
22
22
// By default, all Sequences are comparable, because of;
23
- // implicit def eqlSeq[T, U](implicit eq: Eql [T, U]): Eql [GenSeq[T], GenSeq[U]] = derived
23
+ // implicit def eqlSeq[T, U](implicit eq: CanEqual [T, U]): CanEqual [GenSeq[T], GenSeq[U]] = derived
24
24
println(List (1 , 2 ) == Vector (1 , 2 ))
25
25
26
26
class A (a : Int )
@@ -31,8 +31,8 @@ object MultiversalEquality {
31
31
32
32
// scala.language.strictEquality is enabled, therefore we need some extra delegate instances
33
33
// to compare instances of A and B.
34
- given Eql [A , B ] = Eql .derived
35
- given Eql [B , A ] = Eql .derived
34
+ given CanEqual [A , B ] = CanEqual .derived
35
+ given CanEqual [B , A ] = CanEqual .derived
36
36
37
37
println(a != b)
38
38
println(b == a)
0 commit comments