Change Witness to be a GADT.

This makes is much simpler to represent. Surprised I missed this
ability.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/Language/Fiddle/Parser.hs b/src/Language/Fiddle/Parser.hs
index ef40cc9..b3eed63 100644
--- a/src/Language/Fiddle/Parser.hs
+++ b/src/Language/Fiddle/Parser.hs
@@ -140,7 +140,7 @@ fiddleDeclP = do
         PackageDecl (pure ())
           <$> name
           <*> defer body packageBodyP
-      KWUsing -> UsingDecl (Witness ()) <$> name
+      KWUsing -> UsingDecl Witness <$> name
       KWLocation -> LocationDecl (pure ()) <$> ident <*> (tok TokEq >> expressionP)
       KWBits -> BitsDecl (pure ()) <$> ident <*> (tok TokColon >> bitTypeP)
       KWImport -> ImportDecl <$> importStatementP
@@ -182,7 +182,7 @@ objTypeP = do
       (ReferencedObjType (pure ()) <$> name)
         <|> ( do
                 t <- bodyTypeP
-                AnonymousObjType (Witness ()) <$> defer body (objTypeBodyP t)
+                AnonymousObjType Witness <$> defer body (objTypeBodyP t)
             )
 
 exprInParenP :: Pa Expression
@@ -198,7 +198,7 @@ objTypeDeclP =
   withMeta $
     ( do
         tok_ KWAssertPos
-        AssertPosStatement (Witness ()) <$> exprInParenP
+        AssertPosStatement Witness <$> exprInParenP
     )
       <|> ( do
               tok_ KWReserved
@@ -278,7 +278,7 @@ registerBitsTypeRefP = do
     baseTypeRef =
       withMeta $
         (RegisterBitsJustBits <$> exprInParenP)
-          <|> (RegisterBitsAnonymousType (Witness ()) <$> anonymousBitsTypeP)
+          <|> (RegisterBitsAnonymousType Witness <$> anonymousBitsTypeP)
           <|> (RegisterBitsReference (pure ()) <$> name)
 
 anonymousBitsTypeP :: Pa AnonymousBitsType