Skip to content

Commit

Permalink
Remove example with defunct lazy syntax.
Browse files Browse the repository at this point in the history
  • Loading branch information
cristianoc committed Jul 9, 2024
1 parent c339d08 commit f1a0891
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 11 deletions.
4 changes: 0 additions & 4 deletions analysis/tests/src/Patterns.res
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,6 @@ module A = {

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

let lazy lazyy = lazy 3
}

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

let n3 = A.v1
// ^def

let n4 = A.lazyy
// ^def
11 changes: 4 additions & 7 deletions analysis/tests/src/expected/Patterns.res.txt
Original file line number Diff line number Diff line change
@@ -1,15 +1,12 @@
Definition src/Patterns.res 20:10
Definition src/Patterns.res 19:10
{"uri": "Patterns.res", "range": {"start": {"line": 3, "character": 7}, "end": {"line": 3, "character": 10}}}

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

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

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

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

0 comments on commit f1a0891

Please sign in to comment.