Skip to content

Commit 21c56db

Browse files
committed
fix: adapt tests/neg-custom-args/captures/use-capset.check to cc stdlib
1 parent 56290a0 commit 21c56db

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

tests/neg-custom-args/captures/use-capset.check

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,10 @@
1010
-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/use-capset.scala:13:50 -----------------------------------
1111
13 | val _: () -> List[Object^{io}] -> Object^{io} = h2 // error, should be ->{io}
1212
| ^^
13-
| Found: (h2 : () ->{} List[Object^{io}]^{} ->{io} Object^{io})
14-
| Required: () -> List[Object^{io}] -> Object^{io}
13+
| Found: (h2 : () ->{} List[Object^{io}] ->{io} Object^{io})
14+
| Required: () -> List[Object^{io}] -> Object^{io}
1515
|
16-
| Note that capability io is not included in capture set {}.
16+
| Note that capability io is not included in capture set {}.
1717
|
1818
| longer explanation available when compiling with `-explain`
1919
-- Error: tests/neg-custom-args/captures/use-capset.scala:5:49 ---------------------------------------------------------

0 commit comments

Comments
 (0)