From 59cec853a697a4dd793c216c9bd603bd775d6da2 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Thu, 16 May 2024 15:59:04 +0200
Subject: Attach whitespace info to located token

---
 source/Syntax/Adapt.hs | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'source/Syntax/Adapt.hs')

diff --git a/source/Syntax/Adapt.hs b/source/Syntax/Adapt.hs
index b1237d2..3a8b3d6 100644
--- a/source/Syntax/Adapt.hs
+++ b/source/Syntax/Adapt.hs
@@ -26,10 +26,14 @@ scanChunk ltoks =
     let toks = unLocated <$> ltoks
         matchOrErr re env pos = match re toks ?? error ("could not find lexical pattern in " <> env <> " at " <> sourcePosPretty pos)
     in case ltoks of
-        Located pos (BeginEnv "definition") : _ -> matchOrErr definition "definition" pos
-        Located pos (BeginEnv "abbreviation") : _ -> matchOrErr abbreviation "abbreviation" pos
-        Located pos (BeginEnv "struct") :_ -> matchOrErr struct "struct definition" pos
-        Located pos (BeginEnv "inductive") :_ -> matchOrErr inductive "inductive definition" pos
+        Located{startPos = pos, unLocated = BeginEnv "definition"} : _ ->
+            matchOrErr definition "definition" (pos)
+        Located{startPos = pos, unLocated = BeginEnv "abbreviation"} : _ ->
+            matchOrErr abbreviation "abbreviation" pos
+        Located{startPos = pos, unLocated = (BeginEnv "struct")} :_ ->
+            matchOrErr struct "struct definition" pos
+        Located{startPos = pos, unLocated = (BeginEnv "inductive")} :_ ->
+            matchOrErr inductive "inductive definition" pos
         _ -> []
 
 adaptChunks :: [[Located Token]] -> Lexicon -> Lexicon
-- 
cgit v1.2.3