summaryrefslogtreecommitdiff
path: root/src/Language/Fiddle/Parser.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/Language/Fiddle/Parser.hs')
-rw-r--r--src/Language/Fiddle/Parser.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Language/Fiddle/Parser.hs b/src/Language/Fiddle/Parser.hs
index 8070c1c..ebbd51b 100644
--- a/src/Language/Fiddle/Parser.hs
+++ b/src/Language/Fiddle/Parser.hs
@@ -207,14 +207,14 @@ objTypeDeclP =
)
<|> ( do
tok_ KWReserved
- ReservedDecl Vacant Vacant <$> exprInParenP
+ ReservedDecl Witness <$> exprInParenP
)
<|> ( do
bt <- bodyTypeP
TypeSubStructure <$> defer body (objTypeBodyP bt) <*> optionMaybe ident
)
<|> ( do
- modifier <- optionMaybe modifierP
+ modifier <- Perhaps <$> optionMaybe modifierP
tok_ KWReg
RegisterDecl Vacant modifier . Perhaps
<$> optionMaybe ident