make ormolu happy

anoma · Jan 23, 2023 · 2721b98 · 2721b98
1 parent 697f830
commit 2721b98
Show file tree

Hide file tree

Showing 3 changed files with 46 additions and 46 deletions.
diff --git 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
@@ -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
@@ -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}