Update tests:tasty

ucsd-progsys · Nov 18, 2023 · f661e7c · f661e7c
1 parent 1ed2338
commit f661e7c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/tasty/ErrorFilterReportTests.hs b/tests/tasty/ErrorFilterReportTests.hs
@@ -7,11 +7,10 @@ import Language.Haskell.Liquid.Types.PrettyPrint (Filter(..), filterReportErrors
 import Data.Functor.Identity (Identity(..))
 
 defArgs :: Monad m => FilterReportErrorsArgs m Filter String String Bool
-defArgs = FilterReportErrorsArgs { msgReporter = const (pure ())
+defArgs = FilterReportErrorsArgs { errorReporter = const (pure ())
                                  , filterReporter = const (pure ())
                                  , failure =  pure False
                                  , continue = pure True
-                                 , pprinter = pure
                                  , matchingFilters = const []
                                  , filters = [] }