Format with fourmolu

github-actions · github-actions · commit ca1af7efeeb5 · 2024-04-22T09:37:34.000Z
diff --git a/kore/src/Kore/Log/ErrorBottomTotalFunction.hs b/kore/src/Kore/Log/ErrorBottomTotalFunction.hs
@@ -15,6 +15,7 @@ import Control.Monad.Catch (
     MonadThrow,
     throwM,
  )
+import Data.Aeson qualified as JSON
 import GHC.Generics qualified as GHC
 import Generics.SOP qualified as SOP
 import Kore.Internal.TermLike
@@ -28,7 +29,6 @@ import Pretty (
  )
 import Pretty qualified
 import SQL qualified
-import Data.Aeson qualified as JSON
 
 newtype ErrorBottomTotalFunction = ErrorBottomTotalFunction
     { term :: TermLike VariableName

Original file line number	Diff line number	Diff line change
`@@ -15,6 +15,7 @@ import Control.Monad.Catch (`
`15`	`15`	`MonadThrow,`
`16`	`16`	`throwM,`
`17`	`17`	`)`
	`18`	`+import Data.Aeson qualified as JSON`
`18`	`19`	`import GHC.Generics qualified as GHC`
`19`	`20`	`import Generics.SOP qualified as SOP`
`20`	`21`	`import Kore.Internal.TermLike`
`@@ -28,7 +29,6 @@ import Pretty (`
`28`	`29`	`)`
`29`	`30`	`import Pretty qualified`
`30`	`31`	`import SQL qualified`
`31`		`-import Data.Aeson qualified as JSON`
`32`	`32`
`33`	`33`	`newtype ErrorBottomTotalFunction = ErrorBottomTotalFunction`
`34`	`34`	`{ term :: TermLike VariableName`