Skip to content

Commit bddb87b

Browse files
committed
Handle lazy pattern.
1 parent 994bc70 commit bddb87b

File tree

3 files changed

+13
-4
lines changed

3 files changed

+13
-4
lines changed

analysis/src/ProcessCmt.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -327,6 +327,7 @@ let rec forItem ~env ~(exported : exported) item =
327327
| Tpat_or (p, _, _) -> handlePattern [] p
328328
| Tpat_record (items, _) ->
329329
items |> List.iter (fun (_, _, p) -> handlePattern [] p)
330+
| Tpat_lazy p -> handlePattern [] p
330331
| _ -> ()
331332
in
332333
List.iter

analysis/tests/src/Patterns.res

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@ module A = {
1212
let (a | a, b) = makeX()
1313

1414
let [v1,v2,v3] = [1,2,3]
15+
16+
let lazy lazyy = lazy 3
1517
}
1618

1719
let y = A.xxx
@@ -27,3 +29,6 @@ let n = A.a
2729

2830
let n = A.v1
2931
// ^def
32+
33+
let n = A.lazyy
34+
// ^def
Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,15 @@
1-
Definition tests/src/Patterns.res 16:10
1+
Definition tests/src/Patterns.res 18:10
22
{"uri": "Patterns.res", "range": {"start": {"line": 3, "character": 7}, "end": {"line": 3, "character": 10}}}
33

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

7-
Definition tests/src/Patterns.res 24:10
7+
Definition tests/src/Patterns.res 26: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
10+
Definition tests/src/Patterns.res 29:10
1111
{"uri": "Patterns.res", "range": {"start": {"line": 13, "character": 7}, "end": {"line": 13, "character": 9}}}
1212

13+
Definition tests/src/Patterns.res 32:10
14+
{"uri": "Patterns.res", "range": {"start": {"line": 15, "character": 11}, "end": {"line": 15, "character": 16}}}
15+

0 commit comments

Comments
 (0)