Skip to content

Commit

Permalink
fix check file
Browse files Browse the repository at this point in the history
  • Loading branch information
soronpo committed Aug 26, 2021
1 parent 3bfa7d0 commit 6d7c825
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions tests/neg/singleton-ops-any.check
Original file line number Diff line number Diff line change
@@ -1,39 +1,39 @@
-- [E007] Type Mismatch Error: tests\neg\singleton-ops-any.scala:6:23 --------------------------------------------------
-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:6:23 --------------------------------------------------
6 | val t34: 10 == "5" = true // error
| ^^^^
| Found: (true : Boolean)
| Required: (false : Boolean)

longer explanation available when compiling with `-explain`
-- [E007] Type Mismatch Error: tests\neg\singleton-ops-any.scala:7:22 --------------------------------------------------
-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:7:22 --------------------------------------------------
7 | val t35: 10 == 10 = false // error
| ^^^^^
| Found: (false : Boolean)
| Required: (true : Boolean)

longer explanation available when compiling with `-explain`
-- [E007] Type Mismatch Error: tests\neg\singleton-ops-any.scala:12:24 -------------------------------------------------
-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:12:24 -------------------------------------------------
12 | val t38: false != 5 = false // error
| ^^^^^
| Found: (false : Boolean)
| Required: (true : Boolean)

longer explanation available when compiling with `-explain`
-- [E007] Type Mismatch Error: tests\neg\singleton-ops-any.scala:13:22 -------------------------------------------------
-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:13:22 -------------------------------------------------
13 | val t39: 10 != 10 = true // error
| ^^^^
| Found: (true : Boolean)
| Required: (false : Boolean)

longer explanation available when compiling with `-explain`
-- [E007] Type Mismatch Error: tests\neg\singleton-ops-any.scala:18:27 -------------------------------------------------
-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:18:27 -------------------------------------------------
18 | val t04: ToString[Int] = "Int" // error
| ^^^^^
| Found: ("Int" : String)
| Required: compiletime.ops.any.ToString[Int]

longer explanation available when compiling with `-explain`
-- [E007] Type Mismatch Error: tests\neg\singleton-ops-any.scala:32:26 -------------------------------------------------
-- [E007] Type Mismatch Error: tests/neg/singleton-ops-any.scala:32:26 -------------------------------------------------
32 | val t48: IsConst[Any] = true // error
| ^^^^
| Found: (true : Boolean)
Expand Down

0 comments on commit 6d7c825

Please sign in to comment.