From f1a0891f7af32e589a139762aa2ca67193dd5276 Mon Sep 17 00:00:00 2001
From: Cristiano Calcagno <cristianoc@users.noreply.github.com>
Date: Tue, 9 Jul 2024 10:05:28 +0200
Subject: [PATCH] Remove example with defunct `lazy` syntax.

---
 analysis/tests/src/Patterns.res              |  4 ----
 analysis/tests/src/expected/Patterns.res.txt | 11 ++++-------
 2 files changed, 4 insertions(+), 11 deletions(-)

diff --git a/analysis/tests/src/Patterns.res b/analysis/tests/src/Patterns.res
index 94f40b850..8d6dc6520 100644
--- a/analysis/tests/src/Patterns.res
+++ b/analysis/tests/src/Patterns.res
@@ -15,7 +15,6 @@ module A = {
 
   let A([v1, _, _]) | _ as v1 = assert false
 
-  let lazy lazyy = lazy 3
 }
 
 let y = A.xxx
@@ -31,6 +30,3 @@ let n2 = A.a
 
 let n3 = A.v1
 //         ^def
-
-let n4 = A.lazyy
-//         ^def
diff --git a/analysis/tests/src/expected/Patterns.res.txt b/analysis/tests/src/expected/Patterns.res.txt
index 5c119ffb7..43cb4b1fc 100644
--- a/analysis/tests/src/expected/Patterns.res.txt
+++ b/analysis/tests/src/expected/Patterns.res.txt
@@ -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}}}
-