Skip to content

Commit 913d831

Browse files
committed
fix tests
1 parent 8392705 commit 913d831

File tree

2 files changed

+22
-3
lines changed

2 files changed

+22
-3
lines changed

tests/patmat/i7186.scala

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,7 @@
11
import MIPS._
22

3+
import deriving.Mirror.SumOf
4+
35
object MIPS {
46
type Labels = Label | ControlLabel
57
type Src = Register | Constant
@@ -233,8 +235,8 @@ object printMips {
233235
def getScopedLabel(s: Scoped): String =
234236
"L" + getScopedId(s)
235237

236-
def printEnum[E](e: String => Enum, t: E, code: String) = {
237-
val num = e(t.toString).ordinal
238+
def printEnum[E: SumOf](e: String => E, t: E, code: String) = {
239+
val num = summon[SumOf[E]].ordinal(e(t.toString))
238240
s"$code$num"
239241
}
240242
}

tests/semanticdb/metac.expect

Lines changed: 18 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -641,14 +641,16 @@ Schema => SemanticDB v4
641641
Uri => Enums.scala
642642
Text => empty
643643
Language => Scala
644-
Symbols => 183 entries
644+
Symbols => 200 entries
645645
Occurrences => 203 entries
646646

647647
Symbols:
648648
_empty_/Enums. => final object Enums
649649
_empty_/Enums.Coin# => abstract sealed enum class Coin
650650
_empty_/Enums.Coin#`<init>`(). => primary ctor <init>
651651
_empty_/Enums.Coin#`<init>`().(value) => param value
652+
_empty_/Enums.Coin#enumLabel(). => abstract method enumLabel
653+
_empty_/Enums.Coin#ordinal(). => abstract method ordinal
652654
_empty_/Enums.Coin#value. => val method value
653655
_empty_/Enums.Coin. => final object Coin
654656
_empty_/Enums.Coin.$fromOrdinal(). => method $fromOrdinal
@@ -664,6 +666,8 @@ _empty_/Enums.Coin.valueOf().($name) => param $name
664666
_empty_/Enums.Coin.values(). => method values
665667
_empty_/Enums.Colour# => abstract sealed enum class Colour
666668
_empty_/Enums.Colour#`<init>`(). => primary ctor <init>
669+
_empty_/Enums.Colour#enumLabel(). => abstract method enumLabel
670+
_empty_/Enums.Colour#ordinal(). => abstract method ordinal
667671
_empty_/Enums.Colour. => final object Colour
668672
_empty_/Enums.Colour.$fromOrdinal(). => method $fromOrdinal
669673
_empty_/Enums.Colour.$fromOrdinal().(_$ordinal) => param _$ordinal
@@ -679,6 +683,8 @@ _empty_/Enums.Colour.valueOf().($name) => param $name
679683
_empty_/Enums.Colour.values(). => method values
680684
_empty_/Enums.Directions# => abstract sealed enum class Directions
681685
_empty_/Enums.Directions#`<init>`(). => primary ctor <init>
686+
_empty_/Enums.Directions#enumLabel(). => abstract method enumLabel
687+
_empty_/Enums.Directions#ordinal(). => abstract method ordinal
682688
_empty_/Enums.Directions. => final object Directions
683689
_empty_/Enums.Directions.$fromOrdinal(). => method $fromOrdinal
684690
_empty_/Enums.Directions.$fromOrdinal().(_$ordinal) => param _$ordinal
@@ -696,6 +702,8 @@ _empty_/Enums.Directions.values(). => method values
696702
_empty_/Enums.Maybe# => abstract sealed enum class Maybe
697703
_empty_/Enums.Maybe#[A] => covariant typeparam A
698704
_empty_/Enums.Maybe#`<init>`(). => primary ctor <init>
705+
_empty_/Enums.Maybe#enumLabel(). => abstract method enumLabel
706+
_empty_/Enums.Maybe#ordinal(). => abstract method ordinal
699707
_empty_/Enums.Maybe. => final object Maybe
700708
_empty_/Enums.Maybe.$fromOrdinal(). => method $fromOrdinal
701709
_empty_/Enums.Maybe.$fromOrdinal().(_$ordinal) => param _$ordinal
@@ -730,6 +738,7 @@ _empty_/Enums.Planet#G. => final val method G
730738
_empty_/Enums.Planet#`<init>`(). => primary ctor <init>
731739
_empty_/Enums.Planet#`<init>`().(mass) => param mass
732740
_empty_/Enums.Planet#`<init>`().(radius) => param radius
741+
_empty_/Enums.Planet#enumLabel(). => abstract method enumLabel
733742
_empty_/Enums.Planet#mass. => val method mass
734743
_empty_/Enums.Planet#radius. => val method radius
735744
_empty_/Enums.Planet#surfaceGravity(). => method surfaceGravity
@@ -750,6 +759,8 @@ _empty_/Enums.Planet.valueOf().($name) => param $name
750759
_empty_/Enums.Planet.values(). => method values
751760
_empty_/Enums.Suits# => abstract sealed enum class Suits
752761
_empty_/Enums.Suits#`<init>`(). => primary ctor <init>
762+
_empty_/Enums.Suits#enumLabel(). => abstract method enumLabel
763+
_empty_/Enums.Suits#ordinal(). => abstract method ordinal
753764
_empty_/Enums.Suits. => final object Suits
754765
_empty_/Enums.Suits.$fromOrdinal(). => method $fromOrdinal
755766
_empty_/Enums.Suits.$fromOrdinal().(_$ordinal) => param _$ordinal
@@ -772,6 +783,8 @@ _empty_/Enums.Suits.values(). => method values
772783
_empty_/Enums.Tag# => abstract sealed enum class Tag
773784
_empty_/Enums.Tag#[A] => typeparam A
774785
_empty_/Enums.Tag#`<init>`(). => primary ctor <init>
786+
_empty_/Enums.Tag#enumLabel(). => abstract method enumLabel
787+
_empty_/Enums.Tag#ordinal(). => abstract method ordinal
775788
_empty_/Enums.Tag. => final object Tag
776789
_empty_/Enums.Tag.$fromOrdinal(). => method $fromOrdinal
777790
_empty_/Enums.Tag.$fromOrdinal().(_$ordinal) => param _$ordinal
@@ -783,6 +796,8 @@ _empty_/Enums.Tag.valueOf().($name) => param $name
783796
_empty_/Enums.Tag.values(). => method values
784797
_empty_/Enums.WeekDays# => abstract sealed enum class WeekDays
785798
_empty_/Enums.WeekDays#`<init>`(). => primary ctor <init>
799+
_empty_/Enums.WeekDays#enumLabel(). => abstract method enumLabel
800+
_empty_/Enums.WeekDays#ordinal(). => abstract method ordinal
786801
_empty_/Enums.WeekDays. => final object WeekDays
787802
_empty_/Enums.WeekDays.$fromOrdinal(). => method $fromOrdinal
788803
_empty_/Enums.WeekDays.$fromOrdinal().(_$ordinal) => param _$ordinal
@@ -804,6 +819,8 @@ _empty_/Enums.`<:<`# => abstract sealed enum class <:<
804819
_empty_/Enums.`<:<`#[A] => contravariant typeparam A
805820
_empty_/Enums.`<:<`#[B] => typeparam B
806821
_empty_/Enums.`<:<`#`<init>`(). => primary ctor <init>
822+
_empty_/Enums.`<:<`#enumLabel(). => abstract method enumLabel
823+
_empty_/Enums.`<:<`#ordinal(). => abstract method ordinal
807824
_empty_/Enums.`<:<`. => final object <:<
808825
_empty_/Enums.`<:<`.Refl# => final case enum class Refl
809826
_empty_/Enums.`<:<`.Refl#[C] => typeparam C

0 commit comments

Comments
 (0)