From fffe42ce4861f53dd86113ab8320e4754f2c570c Mon Sep 17 00:00:00 2001
From: Josh Rahm <joshuarahm@gmail.com>
Date: Wed, 25 Sep 2024 00:17:19 -0600
Subject: Split the Ast file into multiple sub files.

Make some more changes to the generic implementation of EasySwitchStage.
---
 src/Language/Fiddle/Parser.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/src/Language/Fiddle/Parser.hs b/src/Language/Fiddle/Parser.hs
index b44a9a1..85ae65e 100644
--- a/src/Language/Fiddle/Parser.hs
+++ b/src/Language/Fiddle/Parser.hs
@@ -52,7 +52,7 @@ isComment (Token t _) =
 stripTrailingComments :: [Token s] -> [Token s]
 stripTrailingComments = reverse . dropWhile isComment . reverse
 
-directed :: Pa t -> PaS (Directed (t 'Stage1))
+directed :: Pa t -> PaS (Directed t 'Stage1)
 directed subparser = withMeta $ do
   Directed <$> many directive <*> subparser
 
@@ -195,7 +195,7 @@ objType = do
       (ReferencedObjType <$> name)
         <|> ( do
                 t <- bodyType
-                AnonymousObjType <$> defer body (objTypeBody t)
+                AnonymousObjType (Witness ()) <$> defer body (objTypeBody t)
             )
 
 exprInParen :: Pa Expression
@@ -211,7 +211,7 @@ objTypeDecl =
   withMeta $
     ( do
         tok KWAssertPos
-        AssertPosStatement <$> exprInParen
+        AssertPosStatement (Witness ()) <$> exprInParen
     )
       <|> ( do
               tok KWReserved
@@ -291,7 +291,7 @@ registerBitsTypeRef = do
     baseTypeRef =
       withMeta $
         (RegisterBitsJustBits <$> exprInParen)
-          <|> (RegisterBitsAnonymousType <$> anonymousBitsType)
+          <|> (RegisterBitsAnonymousType (Witness ()) <$> anonymousBitsType)
           <|> (RegisterBitsReference <$> name)
 
 anonymousBitsType :: Pa AnonymousBitsType
-- 
cgit