Skip to content

Commit c0ccb6f

Browse files
committed
Document minor bug
1 parent 4312f86 commit c0ccb6f

File tree

2 files changed

+14
-1
lines changed

2 files changed

+14
-1
lines changed

tests/neg/negNamedPatternMatching.check

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,13 @@
2626
52 | case User(city = City(name = "Berlin")) => null // error
2727
| ^^^^
2828
| 'patterns.City' doesn't support named patterns
29+
-- Error: tests/neg/negNamedPatternMatching.scala:55:17 ----------------------------------------------------------------
30+
55 |val User(names = notRecursive) = user // error // error
31+
| ^^^^^^^^^^^^
32+
| 'names' is unknown
33+
-- [E045] Cyclic Error: tests/neg/negNamedPatternMatching.scala:55:30 --------------------------------------------------
34+
55 |val User(names = notRecursive) = user // error // error
35+
| ^
36+
| Recursive value notRecursive needs type
37+
|
38+
| longer explanation available when compiling with `-explain`

tests/neg/negNamedPatternMatching.scala

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -49,4 +49,7 @@ val annasCity = user match
4949
name = "Tom 3" // error
5050
) => null
5151
case User(_, name = "Anna") => null // error
52-
case User(city = City(name = "Berlin")) => null // error
52+
case User(city = City(name = "Berlin")) => null // error
53+
54+
// TODO: Don't show an error about recursive value
55+
val User(names = notRecursive) = user // error // error

0 commit comments

Comments
 (0)