|
1 | 1 | import scala.deriving.Mirror |
2 | 2 |
|
3 | 3 | package lib { |
4 | | - object NewMirrors { |
5 | | - val mFoo = summon[Mirror.Of[Foo]] |
6 | | - } |
7 | | -} |
8 | | - |
9 | | -package app { |
10 | | - object Main { |
11 | | - |
12 | | - /*def isConsistent(mFoo: Mirror.Of[Foo]): Boolean = { |
13 | | -
|
14 | | - val hasDefault = inline erasedValue[mFoo.MirroredElemHasDefaults] match |
15 | | - case _: (true *: EmptyTuple) => true |
16 | | - case _: (false *: EmptyTuple) => false |
17 | | - case _ => ??? |
18 | | -
|
19 | | - val foundDefault = |
20 | | - try { mFoo.defaultArgument(0); true } |
21 | | - catch case NoSuchElementException(0) => false |
22 | | -
|
23 | | - hasDefault == foundDefault |
24 | | - }*/ |
25 | | - |
26 | | - def main(args: Array[String]): Unit = { |
27 | | - |
28 | | - val newMirror = lib.NewMirrors.mFoo |
29 | | - |
30 | | - assert(newMirror eq lib.Foo) |
31 | | - |
32 | | - try { |
33 | | - newMirror.defaultArgument(0) |
34 | | - assert(false) |
35 | | - } catch case _: NoSuchElementException => () // Ok: |
36 | | - |
37 | | - summon[newMirror.MirroredElemHasDefaults =:= Tuple1[false]] |
38 | | -// summon[newMirror.MirroredElemHasDefaults =:= Tuple1[true]] |
39 | 4 |
|
| 5 | + case class NewFoo(x: Int = 1, y: Int) |
40 | 6 |
|
41 | | -/* |
42 | | - val oldMirror = lib.OldMirrors.mFoo |
43 | | -
|
44 | | - summon[oldMirror.MirroredElemHasDefaults <:< Any] |
45 | | - summon[oldMirror.MirroredElemHasDefaults <:< Tuple] |
46 | | -
|
47 | | -// summon[oldMirror.MirroredElemHasDefaults <:< Tuple1[Any]] |
48 | | -// summon[oldMirror.MirroredElemHasDefaults <:< Tuple1[Boolean]] |
49 | | -
|
50 | | -// summon[oldMirror.MirroredElemHasDefaults =:= Tuple1[false]] |
51 | | -// summon[oldMirror.MirroredElemHasDefaults =:= Tuple1[true]] |
52 | | -*/ |
53 | | - |
54 | | - } |
55 | | - } |
56 | | -} |
57 | | - |
58 | | -/* |
59 | | -package lib { |
60 | 7 | object NewMirrors { |
61 | | - val mFoo = summon[Mirror.Of[Foo]] // we can access the constructor of Foo here. |
62 | | - val mFooObj = summon[Mirror.Of[Foo.type]] |
| 8 | + val mNewFoo = summon[Mirror.Of[NewFoo]] |
63 | 9 |
|
64 | | - object SubBar extends Bar(1) { |
65 | | - val mBar = summon[deriving.Mirror.ProductOf[Bar]] |
66 | | - val mBarObj = summon[deriving.Mirror.ProductOf[Bar.type]] |
67 | | - } |
| 10 | + val mOldFoo = summon[Mirror.Of[OldFoo]] |
| 11 | + val mOldBar = summon[Mirror.Of[OldBar]] |
68 | 12 | } |
69 | 13 | } |
70 | 14 |
|
71 | 15 | package app { |
72 | | - object Main: |
| 16 | + import lib.* |
73 | 17 |
|
74 | | - def testFoo(): Unit = { |
75 | | - val oldMirrorFoo: Mirror.ProductOf[lib.Foo] = lib.OldMirrors.mFoo |
76 | | - val oldMirrorFooObj: Mirror.ProductOf[lib.Foo.type] = lib.OldMirrors.mFooObj |
| 18 | + object Main { |
77 | 19 |
|
78 | | - assert(oldMirrorFoo eq oldMirrorFooObj) // - not good as oldMirrorFoo is really the mirror for `Foo.type` |
79 | | - assert(oldMirrorFooObj eq lib.Foo) // - object Foo is its own mirror |
| 20 | + def foundDefaultArgument(m: Mirror.Product): Boolean = try { |
| 21 | + m.defaultArgument(0) |
| 22 | + true |
| 23 | + } catch { |
| 24 | + case _: NoSuchElementException => false |
| 25 | + } |
80 | 26 |
|
81 | | - // 3.1 bug: mirror for Foo behaves as mirror for Foo.type |
82 | | - assert(oldMirrorFooObj.fromProduct(EmptyTuple) == lib.Foo) |
| 27 | + def main(args: Array[String]): Unit = { |
83 | 28 |
|
84 | | - val newMirrorFoo: Mirror.ProductOf[lib.Foo] = lib.NewMirrors.mFoo |
85 | | - val newMirrorFooObj: Mirror.ProductOf[lib.Foo.type] = lib.NewMirrors.mFooObj |
| 29 | + // NewFoo: normal case |
86 | 30 |
|
87 | | - assert(oldMirrorFooObj eq newMirrorFooObj) // mirror for Foo.type has not changed. |
| 31 | + assert(NewMirrors.mNewFoo.defaultArgument(0) == 1) |
| 32 | + summon[NewMirrors.mNewFoo.MirroredElemHasDefaults =:= (true, false)] |
88 | 33 |
|
89 | | - assert(newMirrorFoo ne lib.Foo) // anonymous mirror for Foo |
90 | | - assert(newMirrorFoo.fromProduct(Tuple(23)).x == 23) // mirror for Foo behaves as expected |
91 | | - } |
| 34 | + // OldFoo: does not have defaultArgument implementation |
92 | 35 |
|
93 | | - def testBar(): Unit = { |
94 | | - val oldMirrorBar: Mirror.ProductOf[lib.Bar] = lib.OldMirrors.SubBar.mBar |
95 | | - val oldMirrorBarObj: Mirror.ProductOf[lib.Bar.type] = lib.OldMirrors.SubBar.mBarObj |
| 36 | + assert(!foundDefaultArgument(NewMirrors.mOldFoo)) // Ok: since mirror of old case class |
| 37 | + summon[NewMirrors.mOldFoo.MirroredElemHasDefaults =:= (false, false)] // Ok: should be consistent with above |
96 | 38 |
|
97 | | - assert(oldMirrorBar eq oldMirrorBarObj) // - not good as oldMirrorBar is really the mirror for `Bar.type` |
98 | | - assert(oldMirrorBarObj eq lib.Bar) // - object Bar is its own mirror |
| 39 | + assert(!foundDefaultArgument(OldMirrors.mOldFoo)) // Ok: since mirror of old case class |
| 40 | + summon[OldMirrors.mOldFoo.MirroredElemHasDefaults <:< Tuple] // old mirrors do not have refinment |
99 | 41 |
|
100 | | - // 3.1 bug: mirror for Bar behaves as mirror for Bar.type |
101 | | - assert(oldMirrorBarObj.fromProduct(EmptyTuple) == lib.Bar) |
| 42 | + // OldBar: anon mirror => could implement defaultArgument |
| 43 | + // AR but should stay consistent with other mirrors of other old case classes |
102 | 44 |
|
103 | | - val newMirrorBar: Mirror.ProductOf[lib.Bar] = lib.NewMirrors.SubBar.mBar |
104 | | - val newMirrorBarObj: Mirror.ProductOf[lib.Bar.type] = lib.NewMirrors.SubBar.mBarObj |
| 45 | + assert(NewMirrors.mOldBar ne lib.OldBar) |
| 46 | + assert(!foundDefaultArgument(NewMirrors.mOldBar)) |
| 47 | + summon[NewMirrors.mOldBar.MirroredElemHasDefaults =:= (false, false)] // Ok: should be consistent with above |
105 | 48 |
|
106 | | - assert(oldMirrorBarObj eq newMirrorBarObj) // mirror for Bar.type has not changed. |
| 49 | + assert(OldMirrors.mOldBar ne lib.OldBar) |
| 50 | + assert(!foundDefaultArgument(OldMirrors.mOldBar)) |
| 51 | + summon[OldMirrors.mOldBar.MirroredElemHasDefaults <:< Tuple] |
107 | 52 |
|
108 | | - assert(newMirrorBar ne lib.Bar) // anonymous mirror for Bar |
109 | | - assert(newMirrorBar.fromProduct(Tuple(23)).x == 23) // mirror for Bar behaves as expected |
110 | 53 | } |
111 | | -
|
112 | | - def main(args: Array[String]): Unit = |
113 | | - testFoo() |
114 | | - testBar() |
| 54 | + } |
115 | 55 | } |
116 | | -*/ |
0 commit comments