diff --git a/gren.cabal b/gren.cabal index 1efca928..5d6b13bf 100644 --- a/gren.cabal +++ b/gren.cabal @@ -239,6 +239,7 @@ Test-Suite gren-tests other-modules: Helpers.Instances + Parse.Helpers -- tests Parse.SpaceSpec diff --git a/tests/Parse/Helpers.hs b/tests/Parse/Helpers.hs index 47c82b79..efec11d7 100644 --- a/tests/Parse/Helpers.hs +++ b/tests/Parse/Helpers.hs @@ -1,47 +1,41 @@ {-# LANGUAGE OverloadedStrings #-} -module Parse.Helpers - ( checkParse - , checkSuccessfulParse - , checkParseError - ) +module Parse.Helpers + ( checkParse, + checkSuccessfulParse, + checkParseError, + ) where import Data.ByteString qualified as BS -import Parse.Space qualified as Space import Parse.Primitives qualified as P +import Parse.Space qualified as Space import Reporting.Annotation qualified as A import Test.Hspec (Spec, describe, it) import Test.Hspec qualified as Hspec - checkParse :: (Show error, Show target) => Space.Parser error (A.Located target) -> (P.Row -> P.Col -> error) -> (Either error (A.Located target, A.Position) -> Bool) -> BS.ByteString -> IO () checkParse parser toBadEnd checkResult str = - Hspec.shouldSatisfy - ( P.fromByteString parser toBadEnd str) - checkResult - + Hspec.shouldSatisfy + (P.fromByteString parser toBadEnd str) + checkResult checkSuccessfulParse :: (Show error, Show target) => Space.Parser error (A.Located target) -> (P.Row -> P.Col -> error) -> (target -> Bool) -> BS.ByteString -> IO () checkSuccessfulParse parser toBadEnd checkTarget = - let checkResult result = - case result of - Right (A.At _ target, _) -> - checkTarget target - Left _ -> - False - in - checkParse parser toBadEnd checkResult + let checkResult result = + case result of + Right (A.At _ target, _) -> + checkTarget target + Left _ -> + False + in checkParse parser toBadEnd checkResult -checkParseError :: (Show error, Show target)=> Space.Parser error (A.Located target) -> (P.Row -> P.Col -> error) -> (error -> Bool) -> BS.ByteString -> IO () +checkParseError :: (Show error, Show target) => Space.Parser error (A.Located target) -> (P.Row -> P.Col -> error) -> (error -> Bool) -> BS.ByteString -> IO () checkParseError parser toBadEnd checkError = - let checkResult result = - case result of - Left error -> - checkError error - Right _ -> - False - in - checkParse parser toBadEnd checkResult - - + let checkResult result = + case result of + Left error -> + checkError error + Right _ -> + False + in checkParse parser toBadEnd checkResult