From 9af1d30c8cd6aef509736e1ecb6e77b47338b98d Mon Sep 17 00:00:00 2001 From: Josh Rahm Date: Fri, 11 Oct 2024 13:17:39 -0600 Subject: Prefer GADT's over typ families for some SyntaxTree elements. --- src/Language/Fiddle/Parser.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/Language/Fiddle/Parser.hs') diff --git a/src/Language/Fiddle/Parser.hs b/src/Language/Fiddle/Parser.hs index b3eed63..f3cbfee 100644 --- a/src/Language/Fiddle/Parser.hs +++ b/src/Language/Fiddle/Parser.hs @@ -10,7 +10,6 @@ where import Control.Monad (void) import Data.Functor.Identity import Data.Kind (Type) -import Data.List.NonEmpty (NonEmpty (..)) import Data.Text (Text) import Language.Fiddle.Ast import Language.Fiddle.Tokenizer @@ -106,7 +105,7 @@ directiveExpressionP = withMeta $ do fiddleUnit :: Pa FiddleUnit fiddleUnit = do withMeta - ( FiddleUnit () <$> many1 (directedP fiddleDeclP <* tok TokSemi) + ( FiddleUnit Vacant <$> many1 (directedP fiddleDeclP <* tok TokSemi) ) <* many commentP @@ -128,7 +127,10 @@ importListP = withMeta $ do importStatementP :: Pa ImportStatement importStatementP = withMeta $ - ImportStatement <$> stringTokenP <*> optionMaybe importListP <*> pure () + ImportStatement + <$> stringTokenP + <*> optionMaybe importListP + <*> pure Vacant fiddleDeclP :: Pa FiddleDecl fiddleDeclP = do -- cgit