Commit 50fd2e8

committed

Restore adapt classes tests

1 parent b5b0a92 commit 50fd2e8Copy full SHA for 50fd2e8

File tree

+12

-12

lines changed

tests
- neg-custom-args/qualified-types
  - adapt_neg.scala
- pos-custom-args/qualified-types
  - adapt.scala

+12

-12

lines changed

Lines changed: 4 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -12,11 +12,11 @@ def test: Unit =`
`12`	`12`	`val v3: {v: Int with v == x + 1} = x + 2 // error`
`13`	`13`	`val v4: {v: Int with v == f(x)} = g(x) // error`
`14`	`14`	`val v5: {v: Int with v == g(x)} = f(x) // error`
`15`		`- //val v6: {v: Int with v == IntBox(x)} = IntBox(x) // Not implemented`
`16`		`- //val v7: {v: Int with v == Box(x)} = Box(x) // Not implemented`
	`15`	`+ val v6: {v: IntBox with v == IntBox(x)} = IntBox(x+1) // error`
	`16`	`+ val v7: {v: Box[Int] with v == Box(x)} = Box(x+1) // error`
`17`	`17`	`val v8: {v: Int with v == x + f(x)} = x + g(x) // error`
`18`	`18`	`val v9: {v: Int with v == x + g(x)} = x + f(x) // error`
`19`	`19`	`val v10: {v: Int with v == f(x + 1)} = f(x + 2) // error`
`20`	`20`	`val v11: {v: Int with v == g(x + 1)} = g(x + 2) // error`
`21`		`- //val v12: {v: Int with v == IntBox(x + 1)} = IntBox(x + 1) // Not implemented`
`22`		`- //val v13: {v: Int with v == Box(x + 1)} = Box(x + 1) // Not implemented`
	`21`	`+ val v12: {v: IntBox with v == IntBox(x + 1)} = IntBox(x) // error`
	`22`	`+ val v13: {v: Box[Int] with v == Box(x + 1)} = Box(x) // error`

Lines changed: 8 additions & 8 deletions

Original file line number	Diff line number	Diff line change
`@@ -12,11 +12,11 @@ def test: Unit =`
`12`	`12`	`val v1: {v: Int with v == x + 1} = x + 1`
`13`	`13`	`val v2: {v: Int with v == f(x)} = f(x)`
`14`	`14`	`val v3: {v: Int with v == g(x)} = g(x)`
`15`		`- //val v6: {v: Int with v == IntBox(x)} = IntBox(x) // Not implemented`
`16`		`- //val v7: {v: Int with v == Box(x)} = Box(x) // Not implemented`
`17`		`- val v4: {v: Int with v == x + f(x)} = x + f(x)`
`18`		`- val v5: {v: Int with v == x + g(x)} = x + g(x)`
`19`		`- val v6: {v: Int with v == f(x + 1)} = f(x + 1)`
`20`		`- val v7: {v: Int with v == g(x + 1)} = g(x + 1)`
`21`		`- //val v12: {v: Int with v == IntBox(x + 1)} = IntBox(x + 1) // Not implemented`
`22`		`- //val v13: {v: Int with v == Box(x + 1)} = Box(x + 1) // Not implemented`
	`15`	`+ val v4: {v: IntBox with v == IntBox(x)} = IntBox(x) // Not implemented`
	`16`	`+ val v5: {v: Box[Int] with v == Box(x)} = Box(x) // Not implemented`
	`17`	`+ val v6: {v: Int with v == x + f(x)} = x + f(x)`
	`18`	`+ val v7: {v: Int with v == x + g(x)} = x + g(x)`
	`19`	`+ val v8: {v: Int with v == f(x + 1)} = f(x + 1)`
	`20`	`+ val v9: {v: Int with v == g(x + 1)} = g(x + 1)`
	`21`	`+ val v12: {v: IntBox with v == IntBox(x + 1)} = IntBox(x + 1) // Not implemented`
	`22`	`+ val v13: {v: Box[Int] with v == Box(x + 1)} = Box(x + 1) // Not implemented`

Comments

(0)