Skip to content

Commit e9b859e

Browse files
nicolasstuckinicolasstucki
committed
Triage FromTasty tests
1 parent 576f6c6 commit e9b859e

File tree

1 file changed

+114
-14
lines changed

1 file changed

+114
-14
lines changed

‎compiler/test/dotty/tools/dotc/FromTastyTests.scala

Lines changed: 114 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -24,28 +24,104 @@ class FromTastyTests extends ParallelTesting {
2424
implicit val testGroup: TestGroup = TestGroup("posTestFromTasty")
2525
val (step1, step2) = compileTastyInDir("../tests/pos", defaultOptions,
2626
blacklist = Set(
27+
/* assertion failed: owner discrepancy for type CC, expected: class <refinement>, found: class <refinement>
28+
at scala.Predef$.assert(Predef.scala:219)
29+
at dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.symbolAtCurrent(TreeUnpickler.scala:195)
30+
*/
2731
"NoCyclicReference.scala",
32+
"i1795.scala",
33+
34+
/* Exception in thread "main" dotty.tools.dotc.core.Types$MergeError: cannot merge (implicit x$0: Test.C): Test.C#M with (x: Test.C): x.M as members of type Test.IDF(Test.ifun)
35+
at dotty.tools.dotc.core.Denotations$Denotation.mergeSingleDenot$1(Denotations.scala:527)
36+
*/
2837
"depfuntype.scala",
38+
39+
/* Exception in thread "main" java.lang.AssertionError: assertion failed: found: collection.generic.GenericCompanion[collection.immutable.Seq](Test.a)
40+
required: scala.collection.generic.GenericCompanion[
41+
[X0] => scala.collection.immutable.Seq[X0] | scala.collection.mutable.Seq'[X0]
42+
]
43+
44+
where: Seq is a trait in package immutable
45+
Seq' is a trait in package mutable
46+
47+
tree = Test.a
48+
at scala.Predef$.assert(Predef.scala:219)
49+
at dotty.tools.dotc.transform.TreeChecker$Checker.adapt(TreeChecker.scala:448)
50+
*/
2951
"hklub0.scala",
30-
"i0306.scala",
3152
"i1365.scala",
32-
"i1795.scala",
33-
"i2345.scala",
53+
54+
/* assertion failed: position not set for Ident(u) # 1086
55+
at scala.Predef$.assert(Predef.scala:219)
56+
at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:63)
57+
*/
58+
"i0306.scala",
59+
60+
/* java.lang.NullPointerException
61+
at dotty.tools.dotc.core.Hashable.finishHash(Hashable.scala:65)
62+
at dotty.tools.dotc.core.Hashable.finishHash$(Hashable.scala:64)
63+
at dotty.tools.dotc.core.Types$Type.finishHash(Types.scala:87)
64+
at dotty.tools.dotc.core.Hashable.doHash(Hashable.scala:89)
65+
at dotty.tools.dotc.core.Hashable.doHash$(Hashable.scala:88)
66+
at dotty.tools.dotc.core.Types$Type.doHash(Types.scala:87)
67+
at dotty.tools.dotc.core.Types$HKLambda.computeHash(Types.scala:2639)
68+
*/
3469
"i2888.scala",
70+
"i974.scala",
71+
"t3800.scala",
72+
73+
/* assertion failed: found: b
74+
required: b'
75+
76+
where: b is a type in method foo with bounds
77+
b' is a type in method foo with bounds
78+
79+
tree = 3.asInstanceOf[b]
80+
at scala.Predef$.assert(Predef.scala:219)
81+
at dotty.tools.dotc.transform.TreeChecker$Checker.adapt(TreeChecker.scala:448)
82+
*/
3583
"i2944.scala",
84+
"t8023.scala",
85+
86+
/* scala.MatchError: 136 (of class java.lang.Integer)
87+
at dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.readLengthType$1(TreeUnpickler.scala:231)
88+
at dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.readType(TreeUnpickler.scala:361)
89+
*/
3690
"i2980.scala",
91+
92+
/* assertion failed: position not set for Ident(bar) # 502
93+
at scala.Predef$.assert(Predef.scala:219)
94+
at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:63)
95+
*/
3796
"i3000.scala",
38-
"i536.scala",
39-
"i974.scala",
4097
"t1203a.scala",
4198
"t2260.scala",
42-
"t3612.scala", // Test never finishes
43-
"t3800.scala",
4499
"t4579.scala",
45-
"t8023.scala",
46100
"tcpoly_ticket2096.scala",
47101
"t247.scala",
102+
"i2345.scala",
103+
104+
/* cyclic reference involving type M
105+
at dotty.tools.dotc.core.Types$CyclicReference$.apply(Types.scala:4416)
106+
at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:244)
107+
at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeInfo$1(SymDenotations.scala:209)
108+
at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:211)
109+
at dotty.tools.dotc.core.Types$NamedType.info(Types.scala:1642)
110+
at dotty.tools.dotc.core.Types$TypeRef.underlying(Types.scala:2072)
111+
at dotty.tools.dotc.core.Types$Type.phantomLatticeType(Types.scala:246)
112+
*/
113+
"i536.scala",
114+
115+
/* assertion failed: object a tree does not define methods: method $anonfun
116+
expected: Set(method <init>, method $anonfun)%, %
117+
defined:
118+
at scala.Predef$.assert(Predef.scala:219)
119+
at dotty.tools.dotc.transform.TreeChecker$Checker.typedClassDef(TreeChecker.scala:385)
120+
*/
48121
"i3067.scala",
122+
123+
// Infinite compilation
124+
"t3612.scala",
49125
)
50126
)
51127
step1.checkCompile() // Compile all files to generate the class files with tasty
@@ -57,14 +133,42 @@ class FromTastyTests extends ParallelTesting {
57133
implicit val testGroup: TestGroup = TestGroup("runTestFromTasty")
58134
val (step1, step2) = compileTastyInDir("../tests/run", defaultOptions,
59135
blacklist = Set(
136+
"t3613.scala",
137+
138+
/* position not set for DefDef(min,List(),List(List(ValDef(cmp,TypeTree[TypeRef(ThisType(TypeRef(NoPrefix,module class math)),class Ordering)],EmptyTree))),TypeTree[TypeRef(ThisType(TypeRef(NoPrefix,module class lang)),class Object)],Apply(Select(This(Ident(Tokenizer)),min),List(Ident(cmp)))) # 44104
139+
at scala.Predef$.assert(Predef.scala:219)
140+
at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:63)
141+
*/
60142
"Course-2002-13.scala",
61143
"bridges.scala",
62-
"eff-dependent.scala",
63-
"enum-approx.scala",
64144
"i2337.scala",
65145
"i2337b.scala",
146+
"enum-approx.scala",
66147
"inlineForeach.scala",
148+
"scala2trait-lazyval.scala",
149+
"t3452f.scala",
150+
151+
/* assertion failed: found: (f: Test.Fun[A, B]) => (g: Test.Fun[B, C]) => A => implicit f.Eff => implicit
152+
g.Eff
153+
=> C
154+
required: {z1 => (f: Test.Fun[A, B]) => (g: Test.Fun[B, C]) => A => implicit z1.f.Eff =>
155+
implicit
156+
g.Eff => C}
157+
158+
159+
tree = closure($anonfun)
160+
at scala.Predef$.assert(Predef.scala:219)
161+
at dotty.tools.dotc.transform.TreeChecker$Checker.adapt(TreeChecker.scala:448)
162+
*/
163+
"eff-dependent.scala",
164+
165+
/* dotty.tools.dotc.core.tasty.TreeUnpickler$TreeWithoutOwner
166+
at dotty.tools.dotc.core.tasty.TreeUnpickler$OwnerTree.search$1(TreeUnpickler.scala:1156)
167+
*/
67168
"patmat-bind-typed.scala",
169+
"t8395.scala",
170+
171+
/* Issue unpickling universes */
68172
"phantom-decls-1.scala",
69173
"phantom-decls-3.scala",
70174
"phantom-decls-5.scala",
@@ -77,10 +181,6 @@ class FromTastyTests extends ParallelTesting {
77181
"phantom-poly-2.scala",
78182
"phantom-poly-3.scala",
79183
"phantom-poly-4.scala",
80-
"scala2trait-lazyval.scala",
81-
"t3452f.scala",
82-
"t8395.scala",
83-
"t3613.scala",
84184
)
85185
)
86186
step1.checkCompile() // Compile all files to generate the class files with tasty

0 commit comments

Comments
 (0)