Restyled by fourmolu (#423)

Co-authored-by: Restyled.io <commits@restyled.io>
disco-lang · Dec 25, 2024 · 61a4bd9 · 61a4bd9
1 parent 3b0d67f
commit 61a4bd9
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/src/Disco/Compile.hs b/src/Disco/Compile.hs
@@ -361,7 +361,6 @@ compilePrim _ PrimUntil = return $ CConst OUntil
 compilePrim _ PrimHolds = return $ CConst OHolds
 compilePrim _ PrimLookupSeq = return $ CConst OLookupSeq
 compilePrim _ PrimExtendSeq = return $ CConst OExtendSeq
-
 compilePrim ty PrimMin = desugaredPrimErr PrimMin ty
 compilePrim ty PrimMax = desugaredPrimErr PrimMax ty
 

diff --git a/src/Disco/Desugar.hs b/src/Disco/Desugar.hs
@@ -44,7 +44,6 @@ import Disco.Syntax.Prims
 import Disco.Typecheck (containerTy)
 import Disco.Types
 import Polysemy (Member, Sem, run)
-import Prelude hiding (unzip)
 import Unbound.Generics.LocallyNameless (
   Bind,
   Name,
@@ -56,6 +55,7 @@ import Unbound.Generics.LocallyNameless (
   unrebind,
  )
 import Unbound.Generics.LocallyNameless.Unsafe (unsafeUnbind)
+import Prelude hiding (unzip)
 
 ------------------------------------------------------------
 -- Running desugaring computations

diff --git a/src/Disco/Effects/LFresh.hs b/src/Disco/Effects/LFresh.hs
@@ -43,7 +43,7 @@ runLFresh' =
       let s = name2String nm
       used <- ask
       let ok n = S.notMember (AnyName n) used
-      pureT $ iterUntil (+1) (gate ok . makeName s) 0
+      pureT $ iterUntil (+ 1) (gate ok . makeName s) 0
     Avoid names m -> do
       m' <- runT m
       raise (subsume (runLFresh' (local (S.union (S.fromList names)) m')))