From bb0a52edc8d0e846c72f9703acb09e6882a1726e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sun, 23 Apr 2023 22:17:49 +0200 Subject: Drop unused ProcName parameter type instance --- src/Parser/Expr.hs | 9 --------- src/Parser/Statement.hs | 6 +----- 2 files changed, 1 insertion(+), 14 deletions(-) (limited to 'src') diff --git a/src/Parser/Expr.hs b/src/Parser/Expr.hs index 1f2382a..d609e6c 100644 --- a/src/Parser/Expr.hs +++ b/src/Parser/Expr.hs @@ -1,6 +1,4 @@ module Parser.Expr ( - procName, - varName, newVarName, addVarName, @@ -29,15 +27,8 @@ import Text.Megaparsec.Char import qualified Text.Megaparsec.Char.Lexer as L import Parser.Core -import Process (ProcName(..)) import Test -procName :: TestParser ProcName -procName = label "process name" $ lexeme $ do - c <- lowerChar - cs <- takeWhileP Nothing (\x -> isAlphaNum x || x == '_' || x == '-') - return $ ProcName $ TL.toStrict (c `TL.cons` cs) - identifier :: TestParser Text identifier = do lexeme $ TL.toStrict <$> takeWhile1P Nothing (\x -> isAlphaNum x || x == '_') diff --git a/src/Parser/Statement.hs b/src/Parser/Statement.hs index 6630fac..e58779b 100644 --- a/src/Parser/Statement.hs +++ b/src/Parser/Statement.hs @@ -19,7 +19,7 @@ import qualified Text.Megaparsec.Char.Lexer as L import Network (Network, Node) import Parser.Core import Parser.Expr -import Process (Process, ProcName(..)) +import Process (Process) import Test import Util @@ -91,10 +91,6 @@ instance ParamType SourceLine where parseParam _ = mzero showParamType _ = "" -instance ParamType ProcName where - parseParam _ = procName - showParamType _ = "" - instance ExprType a => ParamType (TypedVarName a) where parseParam _ = newVarName showParamType _ = "" -- cgit v1.2.3