From 0d0c9a61291b0fe0b9f49bdc91955ab797593fd9 Mon Sep 17 00:00:00 2001 From: Einhard Leichtfuß Date: Wed, 21 May 2025 11:38:17 +0200 Subject: Remove obsolete type alias MainParser --- src/Language/SimpleShell/Parser/Expr.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/Language/SimpleShell/Parser/Expr.hs') diff --git a/src/Language/SimpleShell/Parser/Expr.hs b/src/Language/SimpleShell/Parser/Expr.hs index db8a493..ab27555 100644 --- a/src/Language/SimpleShell/Parser/Expr.hs +++ b/src/Language/SimpleShell/Parser/Expr.hs @@ -15,12 +15,12 @@ import Language.SimpleShell.AST.Expr (Expr(..), TypedExpr) import Language.SimpleShell.AST.Name (FunName, VarName) import Language.SimpleShell.AST.SimpleType (SimpleType(..), Typed, FunSig) import Language.SimpleShell.Parser - ( MainParser - , lexeme + ( lexeme , symbol , commentFirstChars ) import Language.SimpleShell.Parser.Name (nameP, keyword) +import Language.SimpleShell.Parser.Root (RootParser) import Language.SimpleShell.Parser.SimpleType (forceType) import Control.Monad.Combinators.FailExpr ( Associativity(..) @@ -43,7 +43,7 @@ import Text.Megaparsec.Char (char) import qualified Text.Megaparsec.Char.Lexer as L (charLiteral, decimal) -type ExprParser = ReaderT ExprContext MainParser +type ExprParser = ReaderT ExprContext RootParser type Parser = ExprParser @@ -53,7 +53,7 @@ data ExprContext = ExprContext } -runExprParser :: [Typed VarName] -> ExprParser a -> MainParser a +runExprParser :: [Typed VarName] -> ExprParser a -> RootParser a runExprParser decls p = if length (nub names) == length names -- TODO: inefficient then runReaderT p (ExprContext vars Map.empty) -- cgit v1.2.3