Skip to content

Commit 2f543e3

Browse files
committed
Handle patterns with |.
1 parent 2eed98d commit 2f543e3

File tree

3 files changed

+12
-2
lines changed

3 files changed

+12
-2
lines changed

analysis/src/ProcessCmt.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -323,6 +323,7 @@ let rec forItem ~env ~(exported : exported) item =
323323
in
324324
declareds := {declared with item = MValue declared.item} :: !declareds
325325
| Tpat_tuple pats -> pats |> List.iter (fun p -> handlePattern [] p)
326+
| Tpat_or (p, _, _) -> handlePattern [] p
326327
| Tpat_record (items, _) ->
327328
items |> List.iter (fun (_, _, p) -> handlePattern [] p)
328329
| _ -> ()

analysis/tests/src/Patterns.res

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,9 @@ module A = {
88
let makeT = () => {name:"", age:0}
99

1010
let {name, age} = makeT()
11+
12+
let (a | a, b) = makeX()
13+
1114
}
1215

1316
let y = A.xxx
@@ -17,3 +20,6 @@ let z = A.yyy
1720

1821
let n = A.name
1922
// ^def
23+
24+
let n = A.a
25+
// ^def
Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,9 @@
1-
Definition tests/src/Patterns.res 12:10
1+
Definition tests/src/Patterns.res 15:10
22
{"uri": "Patterns.res", "range": {"start": {"line": 3, "character": 7}, "end": {"line": 3, "character": 10}}}
33

4-
Definition tests/src/Patterns.res 17:11
4+
Definition tests/src/Patterns.res 20: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
8+
{"uri": "Patterns.res", "range": {"start": {"line": 11, "character": 7}, "end": {"line": 11, "character": 8}}}
9+

0 commit comments

Comments
 (0)