Skip to content

Commit 3126ea1

Browse files
committed
Add .check error messages
1 parent 8fa8ee9 commit 3126ea1

File tree

1 file changed

+41
-0
lines changed

1 file changed

+41
-0
lines changed
Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
-- Error: tests/neg-custom-args/captures/gears/CCBehavior.scala:52:4 ---------------------------------------------------
2+
52 | futs.awaitAll // error
3+
| ^^^^
4+
| Local reach capability futs* leaks into capture scope of method bad - collectors
5+
-- Error: tests/neg-custom-args/captures/gears/CCBehavior.scala:86:25 --------------------------------------------------
6+
86 | val ch = SyncChannel[File]() // error
7+
| ^^^^
8+
| Type variable T of object SyncChannel cannot be instantiated to box File^ since
9+
| that type captures the root capability `cap`.
10+
-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/gears/CCBehavior.scala:111:12 ----------------------------
11+
111 | Result: label ?=> // error, escaping label from Result
12+
| ^
13+
| Found: Result[box gears.async².Future[box T^?]^{fr, label, async, label²}, box E^?]
14+
| Required: Either[E, box gears.async².Future[T]^{async}]
15+
|
16+
| where: async is a parameter in an anonymous function in method bad
17+
| async² is a package in package gears
18+
| label is a reference to a value parameter
19+
| label² is a reference to a value parameter
20+
112 | Future: fut ?=>
21+
113 | fr.await.ok
22+
|
23+
| longer explanation available when compiling with `-explain`
24+
-- Error: tests/neg-custom-args/captures/gears/CCBehavior.scala:48:38 --------------------------------------------------
25+
48 | val futs: Seq[Future[Int]^] = Async.blocking: async ?=> // error
26+
| ^^^^^^^^^^^^^^
27+
| local reference async leaks into outer capture set of type parameter T of method blocking in object Async
28+
-- Error: tests/neg-custom-args/captures/gears/CCBehavior.scala:73:8 ---------------------------------------------------
29+
73 | Async.blocking: // error
30+
| ^^^^^^^^^^^^^^
31+
|local reference _$3 from (_$3: box File^{files*}): box gears.async.Future[Int]^{_$3, files*} leaks into outer capture set of type parameter T of method blocking in object Async
32+
-- Error: tests/neg-custom-args/captures/gears/CCBehavior.scala:74:9 ---------------------------------------------------
33+
74 | File.open("a.txt"): a => // error
34+
| ^^^^^^^^^
35+
|local reference _$3 from (_$3: box File^{files*}): box gears.async.Future[Int]^{_$3, files*} leaks into outer capture set of type parameter T of method open in object File
36+
-- Error: tests/neg-custom-args/captures/gears/CCBehavior.scala:75:11 --------------------------------------------------
37+
75 | File.open("b.txt"): b => // error
38+
| ^^^^^^^^^
39+
|local reference _$3 from (_$3: box File^{files*}): box gears.async.Future[Int]^{_$3, files*} leaks into outer capture set of type parameter T of method open in object File
40+
there were 20 feature warnings; re-run with -feature for details
41+
there were 19 deprecation warnings; re-run with -deprecation for details

0 commit comments

Comments
 (0)