Format with stylish-haskell

ttuegel · actions-user · commit cfea5342b573 · 2020-12-17T03:06:18.000Z
diff --git a/kore/src/Kore/Builtin/AssociativeCommutative.hs b/kore/src/Kore/Builtin/AssociativeCommutative.hs
@@ -95,10 +95,10 @@ import Kore.Internal.Symbol
     )
 import Kore.Internal.TermLike
     ( pattern App_
-    , pattern InternalMap_
-    , pattern InternalSet_
     , pattern Defined_
     , pattern ElemVar_
+    , pattern InternalMap_
+    , pattern InternalSet_
     , TermLike
     , mkApplySymbol
     , mkElemVar
diff --git a/kore/src/Kore/Builtin/List.hs b/kore/src/Kore/Builtin/List.hs
@@ -84,9 +84,9 @@ import Kore.Internal.Pattern
 import qualified Kore.Internal.Pattern as Pattern
 import Kore.Internal.TermLike
     ( pattern App_
-    , pattern InternalList_
     , Concrete
     , pattern ElemVar_
+    , pattern InternalList_
     , Sort
     , TermLike
     , pattern Var_
diff --git a/kore/src/Kore/Builtin/Set.hs b/kore/src/Kore/Builtin/Set.hs
@@ -82,8 +82,8 @@ import Kore.Internal.Predicate
     )
 import Kore.Internal.TermLike
     ( pattern App_
-    , pattern InternalSet_
     , Concrete
+    , pattern InternalSet_
     , TermLike
     , mkSort
     , termLikeSort
diff --git a/kore/src/Kore/Step/Simplification/Condition.hs b/kore/src/Kore/Step/Simplification/Condition.hs
@@ -63,17 +63,17 @@ import Kore.Internal.Symbol
     )
 import Kore.Internal.TermLike
     ( pattern App_
-    , pattern InternalBool_
-    , pattern InternalList_
-    , pattern InternalMap_
-    , pattern InternalSet_
-    , pattern InternalString_
     , pattern Equals_
     , pattern Exists_
     , pattern Forall_
     , pattern Inj_
+    , pattern InternalBool_
     , pattern InternalBytes_
     , pattern InternalInt_
+    , pattern InternalList_
+    , pattern InternalMap_
+    , pattern InternalSet_
+    , pattern InternalString_
     , pattern Mu_
     , pattern Not_
     , pattern Nu_
