From 0afdddd66a2cafa60509ae75b3916f61de32fb64 Mon Sep 17 00:00:00 2001 From: Sirui Lu Date: Sun, 17 Mar 2024 16:33:44 -0700 Subject: [PATCH] :bug: Fix build on older compilers --- src/Grisette/Core/Data/Class/GPretty.hs | 2 +- src/Grisette/Lib/Data/Function.hs | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/Grisette/Core/Data/Class/GPretty.hs b/src/Grisette/Core/Data/Class/GPretty.hs index f5fa3eee..e9b9156f 100644 --- a/src/Grisette/Core/Data/Class/GPretty.hs +++ b/src/Grisette/Core/Data/Class/GPretty.hs @@ -28,6 +28,7 @@ import qualified Control.Monad.Writer.Lazy as WriterLazy import qualified Control.Monad.Writer.Strict as WriterStrict import qualified Data.ByteString as B import qualified Data.ByteString.Char8 as C +import Data.Functor.Const (Const) import Data.Functor.Sum (Sum) import Data.Int (Int16, Int32, Int64, Int8) import Data.String (IsString (fromString)) @@ -80,7 +81,6 @@ import Prettyprinter Doc, Pretty(pretty), ) -import Data.Functor.Const (Const) #else import Data.Text.Prettyprint.Doc ( (<+>), diff --git a/src/Grisette/Lib/Data/Function.hs b/src/Grisette/Lib/Data/Function.hs index 8da2ae6e..fb119f05 100644 --- a/src/Grisette/Lib/Data/Function.hs +++ b/src/Grisette/Lib/Data/Function.hs @@ -1,6 +1,5 @@ module Grisette.Lib.Data.Function ((.$), (.&), mrgOn) where -import Data.Function (on) import Grisette.Core.Control.Monad.UnionM (UnionM) import Grisette.Core.Data.Class.Mergeable (Mergeable) import Grisette.Core.Data.Class.PlainUnion (simpleMerge)