🎨 automated ormolu commit

lsrcz · Sep 7, 2024 · fabf27d · fabf27d
1 parent 1ba1356
commit fabf27d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/src/Grisette/Internal/Backend/Solving.hs b/src/Grisette/Internal/Backend/Solving.hs
@@ -5,11 +5,11 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GADTs #-}
-{-# LANGUAGE Strict #-}
 {-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE Strict #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}

diff --git a/src/Grisette/Internal/SymPrim/Prim/Internal/Caches.hs b/src/Grisette/Internal/SymPrim/Prim/Internal/Caches.hs
@@ -302,4 +302,4 @@ dumpThreadCache tid = do
       cache <- readIORef cref
       mapM_ dumpCache (HM.elems cache)
     Nothing -> return ()
--}
+-}
diff --git a/src/Grisette/Internal/SymPrim/Prim/Model.hs b/src/Grisette/Internal/SymPrim/Prim/Model.hs
@@ -72,9 +72,10 @@ import Grisette.Internal.SymPrim.Prim.Internal.Term
 import Grisette.Internal.SymPrim.Prim.Term
   ( ModelValue,
     SomeTypedSymbol (SomeTypedSymbol),
-    SupportedPrim (defaultValue), defaultValueDynamic,
+    SupportedPrim (defaultValue),
     TypedSymbol (TypedSymbol, unTypedSymbol),
     conTerm,
+    defaultValueDynamic,
     pevalEqTerm,
     showUntyped,
     someTypedSymbol,