From f1128c7c60809d1e96009eaed98c0756831fe29f Mon Sep 17 00:00:00 2001
From: Josh Rahm <joshuarahm@gmail.com>
Date: Sat, 24 Aug 2024 13:55:41 -0600
Subject: Add Stage3 compliation.

I think this is the last phase before sending the refined AST to the
backend compiler to be processed.
---
 src/Language/Fiddle/Parser.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/Language/Fiddle/Parser.hs')

diff --git a/src/Language/Fiddle/Parser.hs b/src/Language/Fiddle/Parser.hs
index dc479d1..37ef34e 100644
--- a/src/Language/Fiddle/Parser.hs
+++ b/src/Language/Fiddle/Parser.hs
@@ -28,6 +28,7 @@ type P = ParsecT S () Identity
 type A = Commented SourceSpan
 
 type Pa (a :: Stage -> (Type -> Type) -> Type -> Type) = P (a 'Stage1 F (Commented SourceSpan))
+type PaS (a :: (Type -> Type) -> Type -> Type) = P (a F (Commented SourceSpan))
 
 comment :: P Comment
 comment =
@@ -139,7 +140,7 @@ objTypeDecl =
                 <*> optionMaybe (tok TokColon *> registerBody)
           )
 
-modifier :: Pa Modifier
+modifier :: PaS Modifier
 modifier =
   withMeta $
     ModifierKeyword
@@ -278,7 +279,7 @@ printNext = do
   traceM $ "NextToken: " ++ show t
   return ()
 
-ident :: Pa Identifier
+ident :: PaS Identifier
 ident =
   withMeta $
     token $ \case
-- 
cgit