Skip to content

Commit 15e8a63

Browse files
committed
Remove example with defunct lazy syntax.
1 parent fd0073e commit 15e8a63

File tree

2 files changed

+4
-11
lines changed

2 files changed

+4
-11
lines changed

analysis/tests/src/Patterns.res

-4
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,6 @@ module A = {
1515

1616
let A([v1, _, _]) | _ as v1 = assert false
1717

18-
let lazy lazyy = lazy 3
1918
}
2019

2120
let y = A.xxx
@@ -31,6 +30,3 @@ let n2 = A.a
3130

3231
let n3 = A.v1
3332
// ^def
34-
35-
let n4 = A.lazyy
36-
// ^def
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,12 @@
1-
Definition src/Patterns.res 20:10
1+
Definition src/Patterns.res 19:10
22
{"uri": "Patterns.res", "range": {"start": {"line": 3, "character": 7}, "end": {"line": 3, "character": 10}}}
33

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

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

10-
Definition src/Patterns.res 31:11
10+
Definition src/Patterns.res 30:11
1111
{"uri": "Patterns.res", "range": {"start": {"line": 15, "character": 9}, "end": {"line": 15, "character": 11}}}
1212

13-
Definition src/Patterns.res 34:11
14-
{"uri": "Patterns.res", "range": {"start": {"line": 17, "character": 11}, "end": {"line": 17, "character": 16}}}
15-

0 commit comments

Comments
 (0)