Skip to content

Commit 994bc70

Browse files
committed
Handle array patterns.
1 parent 2f543e3 commit 994bc70

File tree

3 files changed

+12
-4
lines changed

3 files changed

+12
-4
lines changed

analysis/src/ProcessCmt.ml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -322,7 +322,8 @@ let rec forItem ~env ~(exported : exported) item =
322322
env.stamps.values
323323
in
324324
declareds := {declared with item = MValue declared.item} :: !declareds
325-
| Tpat_tuple pats -> pats |> List.iter (fun p -> handlePattern [] p)
325+
| Tpat_tuple pats | Tpat_array pats ->
326+
pats |> List.iter (fun p -> handlePattern [] p)
326327
| Tpat_or (p, _, _) -> handlePattern [] p
327328
| Tpat_record (items, _) ->
328329
items |> List.iter (fun (_, _, p) -> handlePattern [] p)

analysis/tests/src/Patterns.res

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@ module A = {
1111

1212
let (a | a, b) = makeX()
1313

14+
let [v1,v2,v3] = [1,2,3]
1415
}
1516

1617
let y = A.xxx
@@ -23,3 +24,6 @@ let n = A.name
2324

2425
let n = A.a
2526
// ^def
27+
28+
let n = A.v1
29+
// ^def
Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,12 @@
1-
Definition tests/src/Patterns.res 15:10
1+
Definition tests/src/Patterns.res 16:10
22
{"uri": "Patterns.res", "range": {"start": {"line": 3, "character": 7}, "end": {"line": 3, "character": 10}}}
33

4-
Definition tests/src/Patterns.res 20:11
4+
Definition tests/src/Patterns.res 21:11
55
{"uri": "Patterns.res", "range": {"start": {"line": 9, "character": 7}, "end": {"line": 9, "character": 11}}}
66

7-
Definition tests/src/Patterns.res 23:10
7+
Definition tests/src/Patterns.res 24:10
88
{"uri": "Patterns.res", "range": {"start": {"line": 11, "character": 7}, "end": {"line": 11, "character": 8}}}
99

10+
Definition tests/src/Patterns.res 27:10
11+
{"uri": "Patterns.res", "range": {"start": {"line": 13, "character": 7}, "end": {"line": 13, "character": 9}}}
12+

0 commit comments

Comments
 (0)