Commit 57b09a3

committed

Update cc-fresh-levels.scala

It was unsound, but fixed now on main.

1 parent 43b1626 commit 57b09a3Copy full SHA for 57b09a3

File tree

+13

-2

lines changed

+13

-2

lines changed

Lines changed: 11 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -17,3 +17,14 @@ Flag -source set repeatedly`
`17`	`17`	`\| where: ^ refers to a fresh root capability in the type of value r`
`18`	`18`	`\|`
`19`	`19`	\| longer explanation available when compiling with `-explain`
	`20`	`+-- [E007] Type Mismatch Error: tests/neg-custom-args/captures/cc-fresh-levels.scala:18:9 -------------------------------`
	`21`	`+18 \| runIO: innerIO => // error`
	`22`	`+ \| ^`
	`23`	`+ \|Found: (innerIO: IO^?) ->? Unit`
	`24`	`+ \|Required: IO^ => Unit`
	`25`	`+ \|`
	`26`	`+ \|where: => refers to a fresh root capability created in method test1 when checking argument to parameter op of method runIO`
	`27`	`+ \| ^ refers to the universal root capability`
	`28`	`+19 \| r.put(innerIO)`
	`29`	`+ \|`
	`30`	+ \| longer explanation available when compiling with `-explain`

Lines changed: 2 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -15,5 +15,5 @@ def test1(a: IO^, b: IO^, c: IO^): Unit =`
`15`	`15`	`r.put(c) // ok`
`16`	`16`	`runIO: (innerIO: IO^) =>`
`17`	`17`	`r.put(innerIO) // error`
`18`		`- runIO: innerIO =>`
`19`		`- r.put(innerIO)// should be error, but ok // unsound`
	`18`	`+ runIO: innerIO =>// error`
	`19`	`+ r.put(innerIO)`

Comments

(0)