Fix format.

anoma · Nov 5, 2019 · deef2f9 · deef2f9
1 parent dfeddec
commit deef2f9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/Juvix/Core/IR/Typechecker.hs b/src/Juvix/Core/IR/Typechecker.hs
@@ -3,9 +3,9 @@ module Juvix.Core.IR.Typechecker where
 import Control.Lens ((^?), ix)
 import Control.Monad.Except (throwError)
 import Juvix.Core.IR.Types
-import Juvix.Core.Types
 import Juvix.Core.Parameterisations.Naturals
 import Juvix.Core.Parameterisations.Unit
+import Juvix.Core.Types
 import Juvix.Core.Usage
 import Juvix.Library hiding (show)
 import Prelude (Show (..), String, error, lookup)

diff --git a/src/Juvix/Core/Parameterisations/Unit.hs b/src/Juvix/Core/Parameterisations/Unit.hs
@@ -40,7 +40,7 @@ parseVal lexer = do
   pure Unit
 
 reservedNames ∷ [String]
-reservedNames = ["Unit","()"]
+reservedNames = ["Unit", "()"]
 
 reservedOpNames ∷ [String]
 reservedOpNames = []