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