Skip to content

Commit 1003adb

Browse files
oderskyodersky
committed
Update semanticDB checks
1 parent 29ac3a6 commit 1003adb

File tree

2 files changed

+33
-17
lines changed

2 files changed

+33
-17
lines changed

‎tests/semanticdb/expect/Enums.expect.scala‎

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -29,19 +29,19 @@ object Enums/*<-_empty_::Enums.*/:
2929
case Sunday/*<-_empty_::Enums.WeekDays.Sunday.*/
3030

3131
enum Coin/*<-_empty_::Enums.Coin#*/(value/*<-_empty_::Enums.Coin#value.*/: Int/*->scala::Int#*/):
32-
case Penny/*<-_empty_::Enums.Coin.Penny.*/ extends Coin/*->_empty_::Enums.Coin#*/(1)
33-
case Nickel/*<-_empty_::Enums.Coin.Nickel.*/ extends Coin/*->_empty_::Enums.Coin#*/(5)
34-
case Dime/*<-_empty_::Enums.Coin.Dime.*/ extends Coin/*->_empty_::Enums.Coin#*/(10)
35-
case Quarter/*<-_empty_::Enums.Coin.Quarter.*/ extends Coin/*->_empty_::Enums.Coin#*/(25)
36-
case Dollar/*<-_empty_::Enums.Coin.Dollar.*/ extends Coin/*->_empty_::Enums.Coin#*/(100)
32+
case Penny/*<-_empty_::Enums.Coin.Penny.*/ extends Coin/*->_empty_::Enums.Coin#*/(1)/*->scala::EnumValue#*/
33+
case Nickel/*<-_empty_::Enums.Coin.Nickel.*/ extends Coin/*->_empty_::Enums.Coin#*/(5)/*->scala::EnumValue#*/
34+
case Dime/*<-_empty_::Enums.Coin.Dime.*/ extends Coin/*->_empty_::Enums.Coin#*/(10)/*->scala::EnumValue#*/
35+
case Quarter/*<-_empty_::Enums.Coin.Quarter.*/ extends Coin/*->_empty_::Enums.Coin#*/(25)/*->scala::EnumValue#*/
36+
case Dollar/*<-_empty_::Enums.Coin.Dollar.*/ extends Coin/*->_empty_::Enums.Coin#*/(100)/*->scala::EnumValue#*/
3737

3838
enum Maybe/*<-_empty_::Enums.Maybe#*/[+A/*<-_empty_::Enums.Maybe#[A]*/]:
3939
case Just/*<-_empty_::Enums.Maybe.Just#*/(value/*<-_empty_::Enums.Maybe.Just#value.*/: A/*->_empty_::Enums.Maybe.Just#[A]*/)
40-
case None/*<-_empty_::Enums.Maybe.None.*/
40+
case None/*<-_empty_::Enums.Maybe.None.*//*->scala::EnumValue#*/
4141

4242
enum Tag/*<-_empty_::Enums.Tag#*/[A/*<-_empty_::Enums.Tag#[A]*/]:
43-
case IntTag/*<-_empty_::Enums.Tag.IntTag.*/ extends Tag/*->_empty_::Enums.Tag#*/[Int/*->scala::Int#*/]
44-
case BooleanTag/*<-_empty_::Enums.Tag.BooleanTag.*/ extends Tag/*->_empty_::Enums.Tag#*/[Boolean/*->scala::Boolean#*/]
43+
case IntTag/*<-_empty_::Enums.Tag.IntTag.*/ extends Tag/*->_empty_::Enums.Tag#*/[Int/*->scala::Int#*/]/*->scala::EnumValue#*/
44+
case BooleanTag/*<-_empty_::Enums.Tag.BooleanTag.*/ extends Tag/*->_empty_::Enums.Tag#*/[Boolean/*->scala::Boolean#*/]/*->scala::EnumValue#*/
4545

4646
enum <:</*<-_empty_::Enums.`<:<`#*/[-A/*<-_empty_::Enums.`<:<`#[A]*/, B/*<-_empty_::Enums.`<:<`#[B]*/]:
4747
case Refl/*<-_empty_::Enums.`<:<`.Refl#*/[C/*<-_empty_::Enums.`<:<`.Refl#[C]*/]() extends (C/*->_empty_::Enums.`<:<`.Refl#[C]*/ <:</*->_empty_::Enums.`<:<`#*/ C/*->_empty_::Enums.`<:<`.Refl#[C]*/)
@@ -59,11 +59,11 @@ object Enums/*<-_empty_::Enums.*/:
5959
def surfaceGravity/*<-_empty_::Enums.Planet#surfaceGravity().*/ = G/*->_empty_::Enums.Planet#G.*/ */*->scala::Double#`*`(+6).*/ mass/*->_empty_::Enums.Planet#mass.*/ //*->scala::Double#`::`(+6).*/ (radius/*->_empty_::Enums.Planet#radius.*/ */*->scala::Double#`*`(+6).*/ radius/*->_empty_::Enums.Planet#radius.*/)
6060
def surfaceWeight/*<-_empty_::Enums.Planet#surfaceWeight().*/(otherMass/*<-_empty_::Enums.Planet#surfaceWeight().(otherMass)*/: Double/*->scala::Double#*/) = otherMass/*->_empty_::Enums.Planet#surfaceWeight().(otherMass)*/ */*->scala::Double#`*`(+6).*/ surfaceGravity/*->_empty_::Enums.Planet#surfaceGravity().*/
6161

62-
case Mercury/*<-_empty_::Enums.Planet.Mercury.*/ extends Planet/*->_empty_::Enums.Planet#*/(3.303e+23, 2.4397e6)
63-
case Venus/*<-_empty_::Enums.Planet.Venus.*/ extends Planet/*->_empty_::Enums.Planet#*/(4.869e+24, 6.0518e6)
64-
case Earth/*<-_empty_::Enums.Planet.Earth.*/ extends Planet/*->_empty_::Enums.Planet#*/(5.976e+24, 6.37814e6)
65-
case Mars/*<-_empty_::Enums.Planet.Mars.*/ extends Planet/*->_empty_::Enums.Planet#*/(6.421e+23, 3.3972e6)
66-
case Jupiter/*<-_empty_::Enums.Planet.Jupiter.*/ extends Planet/*->_empty_::Enums.Planet#*/(1.9e+27, 7.1492e7)
67-
case Saturn/*<-_empty_::Enums.Planet.Saturn.*/ extends Planet/*->_empty_::Enums.Planet#*/(5.688e+26, 6.0268e7)
68-
case Uranus/*<-_empty_::Enums.Planet.Uranus.*/ extends Planet/*->_empty_::Enums.Planet#*/(8.686e+25, 2.5559e7)
69-
case Neptune/*<-_empty_::Enums.Planet.Neptune.*/ extends Planet/*->_empty_::Enums.Planet#*/(1.024e+26, 2.4746e7)
62+
case Mercury/*<-_empty_::Enums.Planet.Mercury.*/ extends Planet/*->_empty_::Enums.Planet#*/(3.303e+23, 2.4397e6)/*->scala::EnumValue#*/
63+
case Venus/*<-_empty_::Enums.Planet.Venus.*/ extends Planet/*->_empty_::Enums.Planet#*/(4.869e+24, 6.0518e6)/*->scala::EnumValue#*/
64+
case Earth/*<-_empty_::Enums.Planet.Earth.*/ extends Planet/*->_empty_::Enums.Planet#*/(5.976e+24, 6.37814e6)/*->scala::EnumValue#*/
65+
case Mars/*<-_empty_::Enums.Planet.Mars.*/ extends Planet/*->_empty_::Enums.Planet#*/(6.421e+23, 3.3972e6)/*->scala::EnumValue#*/
66+
case Jupiter/*<-_empty_::Enums.Planet.Jupiter.*/ extends Planet/*->_empty_::Enums.Planet#*/(1.9e+27, 7.1492e7)/*->scala::EnumValue#*/
67+
case Saturn/*<-_empty_::Enums.Planet.Saturn.*/ extends Planet/*->_empty_::Enums.Planet#*/(5.688e+26, 6.0268e7)/*->scala::EnumValue#*/
68+
case Uranus/*<-_empty_::Enums.Planet.Uranus.*/ extends Planet/*->_empty_::Enums.Planet#*/(8.686e+25, 2.5559e7)/*->scala::EnumValue#*/
69+
case Neptune/*<-_empty_::Enums.Planet.Neptune.*/ extends Planet/*->_empty_::Enums.Planet#*/(1.024e+26, 2.4746e7)/*->scala::EnumValue#*/

‎tests/semanticdb/metac.expect‎

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -636,7 +636,7 @@ Uri => Enums.scala
636636
Text => empty
637637
Language => Scala
638638
Symbols => 157 entries
639-
Occurrences => 187 entries
639+
Occurrences => 203 entries
640640

641641
Symbols:
642642
_empty_/Enums. => final object Enums
@@ -855,18 +855,23 @@ Occurrences:
855855
[31:9..31:14): Penny <- _empty_/Enums.Coin.Penny.
856856
[31:26..31:30): Coin -> _empty_/Enums.Coin#
857857
[31:30..31:30): -> _empty_/Enums.Coin#`<init>`().
858+
[31:33..31:33): -> scala/EnumValue#
858859
[32:9..32:15): Nickel <- _empty_/Enums.Coin.Nickel.
859860
[32:26..32:30): Coin -> _empty_/Enums.Coin#
860861
[32:30..32:30): -> _empty_/Enums.Coin#`<init>`().
862+
[32:33..32:33): -> scala/EnumValue#
861863
[33:9..33:13): Dime <- _empty_/Enums.Coin.Dime.
862864
[33:26..33:30): Coin -> _empty_/Enums.Coin#
863865
[33:30..33:30): -> _empty_/Enums.Coin#`<init>`().
866+
[33:34..33:34): -> scala/EnumValue#
864867
[34:9..34:16): Quarter <- _empty_/Enums.Coin.Quarter.
865868
[34:26..34:30): Coin -> _empty_/Enums.Coin#
866869
[34:30..34:30): -> _empty_/Enums.Coin#`<init>`().
870+
[34:34..34:34): -> scala/EnumValue#
867871
[35:9..35:15): Dollar <- _empty_/Enums.Coin.Dollar.
868872
[35:26..35:30): Coin -> _empty_/Enums.Coin#
869873
[35:30..35:30): -> _empty_/Enums.Coin#`<init>`().
874+
[35:35..35:35): -> scala/EnumValue#
870875
[37:7..37:12): Maybe <- _empty_/Enums.Maybe#
871876
[37:12..37:16): <- _empty_/Enums.Maybe#`<init>`().
872877
[37:14..37:15): A <- _empty_/Enums.Maybe#[A]
@@ -876,17 +881,20 @@ Occurrences:
876881
[38:21..38:22): A -> _empty_/Enums.Maybe.Just#[A]
877882
[39:4..39:4): -> _empty_/Enums.Maybe#`<init>`().
878883
[39:9..39:13): None <- _empty_/Enums.Maybe.None.
884+
[39:13..39:13): -> scala/EnumValue#
879885
[41:7..41:10): Tag <- _empty_/Enums.Tag#
880886
[41:10..41:13): <- _empty_/Enums.Tag#`<init>`().
881887
[41:11..41:12): A <- _empty_/Enums.Tag#[A]
882888
[42:9..42:15): IntTag <- _empty_/Enums.Tag.IntTag.
883889
[42:24..42:27): Tag -> _empty_/Enums.Tag#
884890
[42:28..42:31): Int -> scala/Int#
885891
[42:32..42:32): -> _empty_/Enums.Tag#`<init>`().
892+
[42:32..42:32): -> scala/EnumValue#
886893
[43:9..43:19): BooleanTag <- _empty_/Enums.Tag.BooleanTag.
887894
[43:28..43:31): Tag -> _empty_/Enums.Tag#
888895
[43:32..43:39): Boolean -> scala/Boolean#
889896
[43:40..43:40): -> _empty_/Enums.Tag#`<init>`().
897+
[43:40..43:40): -> scala/EnumValue#
890898
[45:7..45:10): <:< <- _empty_/Enums.`<:<`#
891899
[45:10..45:17): <- _empty_/Enums.`<:<`#`<init>`().
892900
[45:12..45:13): A <- _empty_/Enums.`<:<`#[A]
@@ -964,27 +972,35 @@ Occurrences:
964972
[61:9..61:16): Mercury <- _empty_/Enums.Planet.Mercury.
965973
[61:25..61:31): Planet -> _empty_/Enums.Planet#
966974
[61:31..61:31): -> _empty_/Enums.Planet#`<init>`().
975+
[61:52..61:52): -> scala/EnumValue#
967976
[62:9..62:14): Venus <- _empty_/Enums.Planet.Venus.
968977
[62:25..62:31): Planet -> _empty_/Enums.Planet#
969978
[62:31..62:31): -> _empty_/Enums.Planet#`<init>`().
979+
[62:52..62:52): -> scala/EnumValue#
970980
[63:9..63:14): Earth <- _empty_/Enums.Planet.Earth.
971981
[63:25..63:31): Planet -> _empty_/Enums.Planet#
972982
[63:31..63:31): -> _empty_/Enums.Planet#`<init>`().
983+
[63:53..63:53): -> scala/EnumValue#
973984
[64:9..64:13): Mars <- _empty_/Enums.Planet.Mars.
974985
[64:25..64:31): Planet -> _empty_/Enums.Planet#
975986
[64:31..64:31): -> _empty_/Enums.Planet#`<init>`().
987+
[64:52..64:52): -> scala/EnumValue#
976988
[65:9..65:16): Jupiter <- _empty_/Enums.Planet.Jupiter.
977989
[65:25..65:31): Planet -> _empty_/Enums.Planet#
978990
[65:31..65:31): -> _empty_/Enums.Planet#`<init>`().
991+
[65:52..65:52): -> scala/EnumValue#
979992
[66:9..66:15): Saturn <- _empty_/Enums.Planet.Saturn.
980993
[66:25..66:31): Planet -> _empty_/Enums.Planet#
981994
[66:31..66:31): -> _empty_/Enums.Planet#`<init>`().
995+
[66:52..66:52): -> scala/EnumValue#
982996
[67:9..67:15): Uranus <- _empty_/Enums.Planet.Uranus.
983997
[67:25..67:31): Planet -> _empty_/Enums.Planet#
984998
[67:31..67:31): -> _empty_/Enums.Planet#`<init>`().
999+
[67:52..67:52): -> scala/EnumValue#
9851000
[68:9..68:16): Neptune <- _empty_/Enums.Planet.Neptune.
9861001
[68:25..68:31): Planet -> _empty_/Enums.Planet#
9871002
[68:31..68:31): -> _empty_/Enums.Planet#`<init>`().
1003+
[68:52..68:52): -> scala/EnumValue#
9881004

9891005
expect/EtaExpansion.scala
9901006
-------------------------

0 commit comments

Comments
 (0)