From ce03d33eaa7e9d37935f225d48459223a4004a50 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Sat, 24 Aug 2024 19:30:46 +0200
Subject: First atemped to write a new way of local function defintion

---
 source/Syntax/Adapt.hs | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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

diff --git a/source/Syntax/Adapt.hs b/source/Syntax/Adapt.hs
index 622946a..96fd76d 100644
--- a/source/Syntax/Adapt.hs
+++ b/source/Syntax/Adapt.hs
@@ -34,6 +34,8 @@ scanChunk ltoks =
             matchOrErr struct "struct definition" pos
         Located{startPos = pos, unLocated = (BeginEnv "inductive")} :_ ->
             matchOrErr inductive "inductive definition" pos
+        Located{startPos = pos, unLocated = (BeginEnv "signature")} :_ ->
+            matchOrErr signature "signature" pos
         _ -> []
 
 adaptChunks :: [[Located Token]] -> Lexicon -> Lexicon
@@ -85,6 +87,18 @@ abbreviation = do
     skipUntilNextLexicalEnv
     pure [lexicalItem m]
 
+signatureIntro ::  RE Token [ScannedLexicalItem]  --since signiture is a used word of haskell we have to name it diffrentliy 
+signatureIntro = do
+    sym (BeginEnv "signature")
+    few notEndOfLexicalEnvToken
+    m <- label
+    few anySym
+    lexicalItem <- head
+    few anySym
+    sym (EndEnv "signature")
+    skipUntilNextLexicalEnv
+    pure [lexicalItem m]
+
 label :: RE Token Marker
 label = msym \case
     Label m -> Just (Marker m)
-- 
cgit v1.2.3