diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 13:17:39 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-10-11 13:17:39 -0600 |
| commit | 9af1d30c8cd6aef509736e1ecb6e77b47338b98d (patch) | |
| tree | 59f638267e773f200bf261e5edce42c9741988fc /src/Language/Fiddle/Parser.hs | |
| parent | cef70019330bb482a1418c026c57045ed731d51b (diff) | |
| download | fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.tar.gz fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.tar.bz2 fiddle-9af1d30c8cd6aef509736e1ecb6e77b47338b98d.zip | |
Prefer GADT's over typ families for some SyntaxTree elements.
Diffstat (limited to 'src/Language/Fiddle/Parser.hs')
| -rw-r--r-- | src/Language/Fiddle/Parser.hs | 8 |
1 files changed, 5 insertions, 3 deletions
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 |