Format with fourmolu

Author: github-actions

kore/src/Kore/Builtin/Int.hs

@@ -90,15 +90,15 @@ import Data.Text (
 import GHC.Integer (
     smallInteger,
  )
+import GHC.Integer.Logarithms (
+    integerLog2#,
+ )
 import GHC.Num.Integer (
     integerFromNatural,
     integerPowMod#,
     integerRecipMod#,
     integerToNatural,
  )
-import GHC.Integer.Logarithms (
-    integerLog2#,
- )
 import Kore.Builtin.Bool qualified as Bool
 import Kore.Builtin.Builtin (
     UnifyEq (..),
@@ -372,13 +372,13 @@ powmod b e m
     -- adapt best to the new ghc-bignum regime.
     recipModInteger :: Integer -> Integer -> Integer
     recipModInteger x m' = case integerRecipMod# x (integerToNatural m') of
-       (# y |    #) -> integerFromNatural y
-       (#   | () #) -> 0
+        (# y | #) -> integerFromNatural y
+        (# | () #) -> 0
 
     powModInteger :: Integer -> Integer -> Integer -> Integer
     powModInteger b' e' m' = case integerPowMod# b' e' (integerToNatural m') of
-       (# r  | #) -> integerFromNatural r
-       (# | () #) -> 0
+        (# r | #) -> integerFromNatural r
+        (# | () #) -> 0
 
 evalEq :: Builtin.Function
 evalEq sideCondition resultSort arguments@[_intLeft, _intRight] =

kore/src/Kore/Internal/Key.hs

@@ -1,9 +1,10 @@
+-- The Synthetic KeyAttributes base instance needs this.
+{-# OPTIONS_GHC -Wno-redundant-constraints #-}
+
 {- |
 Copyright   : (c) Runtime Verification, 2018-2021
 License     : BSD-3-Clause
 -}
--- The Synthetic KeyAttributes base instance needs this.
-{-# OPTIONS_GHC -Wno-redundant-constraints #-}
 module Kore.Internal.Key (
     Key (..),
     KeyF (..),