Skip to content

Commit deedbbd

Browse files
doc: update E0056
1 parent 4fd9189 commit deedbbd

File tree

7 files changed

+52
-0
lines changed

7 files changed

+52
-0
lines changed

next/language/error_codes/E0056.md

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
# E0056
2+
3+
Missing field in struct pattern.
4+
5+
The warning is emitted when pattern matching on a
6+
[struct pattern](/language/fundamentals.md#simple-patterns) and having missing
7+
fields.
8+
9+
## Erroneous example
10+
11+
```{literalinclude} /sources/error_codes/0056_error/top.mbt
12+
:language: moonbit
13+
```
14+
15+
## Suggestion
16+
17+
Add `..` if you want to omit the other fields, or use them.
18+
19+
```{literalinclude} /sources/error_codes/0056_fixed/top.mbt
20+
:language: moonbit
21+
```
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"name": "moonbit-community/E0056"}
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"warn-list": "-7-9"}
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
///|
2+
struct Point {
3+
x : Int
4+
y : Int
5+
}
6+
7+
///|
8+
pub fn quadrant(p : Point) -> String {
9+
match p {
10+
{ x: _..<0 } => "Third or Fourth Quadrant"
11+
{ x: 0..<_ } => "First or Second Quadrant"
12+
}
13+
}
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"name": "moonbit-community/E0056-fixed"}
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"warn-list": "-7-9"}
Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
///|
2+
struct Point {
3+
x : Int
4+
y : Int
5+
}
6+
7+
///|
8+
pub fn quadrant(p : Point) -> String {
9+
match p {
10+
{ x: _..<0, .. } => "Third or Fourth Quadrant"
11+
{ x: 0..<_, y: 0..<_ } => "First Quadrant"
12+
{ x: 0..<_, y: _..<0 } => "Second Quadrant"
13+
}
14+
}

0 commit comments

Comments
 (0)