Skip to content

Commit 1d6a4c7

Browse files
nicolasstuckinicolasstucki
committed
Triage FromTasty tests
1 parent b067da1 commit 1d6a4c7

File tree

1 file changed

+109
-14
lines changed

1 file changed

+109
-14
lines changed

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

Lines changed: 109 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -28,27 +28,98 @@ class FromTastyTests extends ParallelTesting {
2828
implicit val testGroup: TestGroup = TestGroup("posTestFromTasty")
2929
val (step1, step2) = compileTastyInDir("../tests/pos", defaultOptions,
3030
blacklist = Set(
31+
/* assertion failed: owner discrepancy for type CC, expected: class <refinement>, found: class <refinement>
32+
at scala.Predef$.assert(Predef.scala:219)
33+
at dotty.tools.dotc.core.tasty.TreeUnpickler$TreeReader.symbolAtCurrent(TreeUnpickler.scala:195)
34+
*/
3135
"NoCyclicReference.scala",
36+
"i1795.scala",
37+
38+
/* 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)
39+
at dotty.tools.dotc.core.Denotations$Denotation.mergeSingleDenot$1(Denotations.scala:527)
40+
*/
3241
"depfuntype.scala",
42+
43+
/* Exception in thread "main" java.lang.AssertionError: assertion failed: found: collection.generic.GenericCompanion[collection.immutable.Seq](Test.a)
44+
required: scala.collection.generic.GenericCompanion[
45+
[X0] => scala.collection.immutable.Seq[X0] | scala.collection.mutable.Seq'[X0]
46+
]
47+
48+
where: Seq is a trait in package immutable
49+
Seq' is a trait in package mutable
50+
51+
tree = Test.a
52+
at scala.Predef$.assert(Predef.scala:219)
53+
at dotty.tools.dotc.transform.TreeChecker$Checker.adapt(TreeChecker.scala:448)
54+
*/
3355
"hklub0.scala",
34-
"i0306.scala",
3556
"i1365.scala",
36-
"i1795.scala",
37-
"i2345.scala",
57+
58+
/* assertion failed: position not set for Ident(u) # 1086
59+
at scala.Predef$.assert(Predef.scala:219)
60+
at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:63)
61+
*/
62+
"i0306.scala",
63+
64+
/* java.lang.NullPointerException
65+
at dotty.tools.dotc.core.Hashable.finishHash(Hashable.scala:65)
66+
at dotty.tools.dotc.core.Hashable.finishHash$(Hashable.scala:64)
67+
at dotty.tools.dotc.core.Types$Type.finishHash(Types.scala:87)
68+
at dotty.tools.dotc.core.Hashable.doHash(Hashable.scala:89)
69+
at dotty.tools.dotc.core.Hashable.doHash$(Hashable.scala:88)
70+
at dotty.tools.dotc.core.Types$Type.doHash(Types.scala:87)
71+
at dotty.tools.dotc.core.Types$HKLambda.computeHash(Types.scala:2639)
72+
*/
3873
"i2888.scala",
74+
"i974.scala",
75+
"t3800.scala",
76+
77+
/* assertion failed: found: b
78+
required: b'
79+
80+
where: b is a type in method foo with bounds
81+
b' is a type in method foo with bounds
82+
83+
tree = 3.asInstanceOf[b]
84+
at scala.Predef$.assert(Predef.scala:219)
85+
at dotty.tools.dotc.transform.TreeChecker$Checker.adapt(TreeChecker.scala:448)
86+
*/
3987
"i2944.scala",
88+
"t8023.scala",
89+
90+
/* assertion failed: position not set for Ident(bar) # 502
91+
at scala.Predef$.assert(Predef.scala:219)
92+
at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:63)
93+
*/
4094
"i3000.scala",
41-
"i536.scala",
42-
"i974.scala",
4395
"t1203a.scala",
4496
"t2260.scala",
45-
"t3612.scala", // Test never finishes
46-
"t3800.scala",
4797
"t4579.scala",
48-
"t8023.scala",
4998
"tcpoly_ticket2096.scala",
5099
"t247.scala",
100+
"i2345.scala",
101+
102+
/* cyclic reference involving type M
103+
at dotty.tools.dotc.core.Types$CyclicReference$.apply(Types.scala:4416)
104+
at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeFrom(SymDenotations.scala:244)
105+
at dotty.tools.dotc.core.SymDenotations$SymDenotation.completeInfo$1(SymDenotations.scala:209)
106+
at dotty.tools.dotc.core.SymDenotations$SymDenotation.info(SymDenotations.scala:211)
107+
at dotty.tools.dotc.core.Types$NamedType.info(Types.scala:1642)
108+
at dotty.tools.dotc.core.Types$TypeRef.underlying(Types.scala:2072)
109+
at dotty.tools.dotc.core.Types$Type.phantomLatticeType(Types.scala:246)
110+
*/
111+
"i536.scala",
112+
113+
/* assertion failed: object a tree does not define methods: method $anonfun
114+
expected: Set(method <init>, method $anonfun)%, %
115+
defined:
116+
at scala.Predef$.assert(Predef.scala:219)
117+
at dotty.tools.dotc.transform.TreeChecker$Checker.typedClassDef(TreeChecker.scala:385)
118+
*/
51119
"i3067.scala",
120+
121+
// Infinite compilation
122+
"t3612.scala",
52123
)
53124
)
54125
step1.checkCompile() // Compile all files to generate the class files with tasty
@@ -65,14 +136,42 @@ class FromTastyTests extends ParallelTesting {
65136
implicit val testGroup: TestGroup = TestGroup("runTestFromTasty")
66137
val (step1, step2) = compileTastyInDir("../tests/run", defaultOptions,
67138
blacklist = Set(
139+
"t3613.scala",
140+
141+
/* 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
142+
at scala.Predef$.assert(Predef.scala:219)
143+
at dotty.tools.dotc.typer.Typer$.assertPositioned(Typer.scala:63)
144+
*/
68145
"Course-2002-13.scala",
69146
"bridges.scala",
70-
"eff-dependent.scala",
71-
"enum-approx.scala",
72147
"i2337.scala",
73148
"i2337b.scala",
149+
"enum-approx.scala",
74150
"inlineForeach.scala",
151+
"scala2trait-lazyval.scala",
152+
"t3452f.scala",
153+
154+
/* assertion failed: found: (f: Test.Fun[A, B]) => (g: Test.Fun[B, C]) => A => implicit f.Eff => implicit
155+
g.Eff
156+
=> C
157+
required: {z1 => (f: Test.Fun[A, B]) => (g: Test.Fun[B, C]) => A => implicit z1.f.Eff =>
158+
implicit
159+
g.Eff => C}
160+
161+
162+
tree = closure($anonfun)
163+
at scala.Predef$.assert(Predef.scala:219)
164+
at dotty.tools.dotc.transform.TreeChecker$Checker.adapt(TreeChecker.scala:448)
165+
*/
166+
"eff-dependent.scala",
167+
168+
/* dotty.tools.dotc.core.tasty.TreeUnpickler$TreeWithoutOwner
169+
at dotty.tools.dotc.core.tasty.TreeUnpickler$OwnerTree.search$1(TreeUnpickler.scala:1156)
170+
*/
75171
"patmat-bind-typed.scala",
172+
"t8395.scala",
173+
174+
/* Issue unpickling universes */
76175
"phantom-decls-1.scala",
77176
"phantom-decls-3.scala",
78177
"phantom-decls-5.scala",
@@ -85,10 +184,6 @@ class FromTastyTests extends ParallelTesting {
85184
"phantom-poly-2.scala",
86185
"phantom-poly-3.scala",
87186
"phantom-poly-4.scala",
88-
"scala2trait-lazyval.scala",
89-
"t3452f.scala",
90-
"t8395.scala",
91-
"t3613.scala",
92187
)
93188
)
94189
step1.checkCompile() // Compile all files to generate the class files with tasty

0 commit comments

Comments
 (0)