diff options
Diffstat (limited to 'src/Language/Fiddle/Parser.hs')
-rw-r--r-- | src/Language/Fiddle/Parser.hs | 8 |
1 files changed, 4 insertions, 4 deletions
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 |