From 2721b98835bde306d118ff6433daa1985afe8edc Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Mon, 23 Jan 2023 15:26:21 +0100
Subject: [PATCH] make ormolu happy

---
 src/Juvix/Compiler/Backend/Geb/Language.hs    | 86 +++++++++----------
 src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs |  2 +-
 src/Juvix/Compiler/Core/Info/TypeInfo.hs      |  4 +-
 3 files changed, 46 insertions(+), 46 deletions(-)

diff --git a/src/Juvix/Compiler/Backend/Geb/Language.hs b/src/Juvix/Compiler/Backend/Geb/Language.hs
index bd3ef84afc..958e0a0950 100644
--- a/src/Juvix/Compiler/Backend/Geb/Language.hs
+++ b/src/Juvix/Compiler/Backend/Geb/Language.hs
@@ -8,46 +8,46 @@ import Juvix.Prelude
   (https://github.com/anoma/geb/blob/main/src/specs/geb.lisp).
 -}
 
-data Case = Case {
-  _caseLeftType :: Type,
-  _caseRightType :: Type,
-  _caseCodomainType :: Type,
-  _caseOn :: Geb,
-  _caseLeft :: Geb,
-  _caseRight :: Geb
-}
+data Case = Case
+  { _caseLeftType :: Type,
+    _caseRightType :: Type,
+    _caseCodomainType :: Type,
+    _caseOn :: Geb,
+    _caseLeft :: Geb,
+    _caseRight :: Geb
+  }
 
-data Pair = Pair {
-  _pairLeftType :: Type,
-  _pairRightType :: Type,
-  _pairLeft :: Geb,
-  _pairRight :: Geb
-}
+data Pair = Pair
+  { _pairLeftType :: Type,
+    _pairRightType :: Type,
+    _pairLeft :: Geb,
+    _pairRight :: Geb
+  }
 
-data Fst = Fst {
-  _fstLeftType :: Type,
-  _fstRightType :: Type,
-  _fstValue :: Geb
-}
+data Fst = Fst
+  { _fstLeftType :: Type,
+    _fstRightType :: Type,
+    _fstValue :: Geb
+  }
 
-data Snd = Snd {
-  _sndLeftType :: Type,
-  _sndRightType :: Type,
-  _sndValue :: Geb
-}
+data Snd = Snd
+  { _sndLeftType :: Type,
+    _sndRightType :: Type,
+    _sndValue :: Geb
+  }
 
-data Lamb = Lamb {
-  _lambVarType :: Type,
-  _lambBodyType :: Type,
-  _lambBody :: Geb
-}
+data Lamb = Lamb
+  { _lambVarType :: Type,
+    _lambBodyType :: Type,
+    _lambBody :: Geb
+  }
 
-data App = App {
-  _appDomainType :: Type,
-  _appCodomainType :: Type,
-  _appLeft :: Geb,
-  _appRight :: Geb
-}
+data App = App
+  { _appDomainType :: Type,
+    _appCodomainType :: Type,
+    _appLeft :: Geb,
+    _appRight :: Geb
+  }
 
 -- | Corresponds to the GEB type for terms: `stlc`
 -- (https://github.com/anoma/geb/blob/main/src/specs/lambda.lisp).
@@ -64,15 +64,15 @@ data Geb
   | GebApp App
   | GebVar Int
 
-data Prod = Prod {
-  _prodLeft :: Type,
-  _prodRight :: Type
-}
+data Prod = Prod
+  { _prodLeft :: Type,
+    _prodRight :: Type
+  }
 
-data Coprod = Coprod {
-  _coprodLeft :: Type,
-  _coprodRight :: Type
-}
+data Coprod = Coprod
+  { _coprodLeft :: Type,
+    _coprodRight :: Type
+  }
 
 -- | Corresponds to a subset of the GEB type `substobj`
 -- (https://github.com/anoma/geb/blob/main/src/specs/geb.lisp).
diff --git a/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs b/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs
index 8e390407fc..9b1cba2b59 100644
--- a/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs
+++ b/src/Juvix/Compiler/Backend/Geb/Pretty/Base.hs
@@ -5,11 +5,11 @@ module Juvix.Compiler.Backend.Geb.Pretty.Base
   )
 where
 
-import Juvix.Prelude
 import Juvix.Compiler.Backend.Geb.Language
 import Juvix.Compiler.Backend.Geb.Pretty.Options
 import Juvix.Data.CodeAnn
 import Juvix.Extra.Strings qualified as Str
+import Juvix.Prelude
 
 doc :: PrettyCode c => Options -> c -> Doc Ann
 doc opts =
diff --git a/src/Juvix/Compiler/Core/Info/TypeInfo.hs b/src/Juvix/Compiler/Core/Info/TypeInfo.hs
index 571c5c8c3c..0c2e3cc5c4 100644
--- a/src/Juvix/Compiler/Core/Info/TypeInfo.hs
+++ b/src/Juvix/Compiler/Core/Info/TypeInfo.hs
@@ -1,9 +1,9 @@
 module Juvix.Compiler.Core.Info.TypeInfo where
 
+import Juvix.Compiler.Core.Data.InfoTable
+import Juvix.Compiler.Core.Extra
 import Juvix.Compiler.Core.Info qualified as Info
 import Juvix.Compiler.Core.Language
-import Juvix.Compiler.Core.Extra
-import Juvix.Compiler.Core.Data.InfoTable
 
 newtype TypeInfo = TypeInfo {_infoType :: Type}