File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed
tests/neg-custom-args/captures Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 1+ -- Error: tests/neg-custom-args/captures/i15772.scala:44:18 ------------------------------------------------------------
2+ 44 | val filesList : List[File]^{io} = ??? // error
3+ | ^^^^^^^^^^^^^^^
4+ | List[File] is a pure type, it makes no sense to add a capture set to it
15-- Error: tests/neg-custom-args/captures/i15772.scala:22:46 ------------------------------------------------------------
2622 | val boxed1 : ((C^) => Unit) -> Unit = box1(c) // error
37 | ^^^^^^^
Original file line number Diff line number Diff line change @@ -41,6 +41,6 @@ trait File:
4141
4242def main (io : Any ^ ) =
4343 val sayHello : ((File ^ {io}) => Unit ) = (file : File ^ {io}) => file.write(" Hello World!\r\n " )
44- val filesList : List [File ]^ {io} = ???
44+ val filesList : List [File ]^ {io} = ??? // error
4545 val x = () => filesList.foreach(sayHello)
4646 x : (() -> Unit ) // error
You can’t perform that action at this time.
0 commit comments