From 69050a8dd32c95cc9e1d6d846d4bf4257efbe9fa Mon Sep 17 00:00:00 2001 From: "Restyled.io" Date: Sun, 12 Oct 2025 22:31:03 +0000 Subject: [PATCH] Restyled by fourmolu --- src/swarm-lang/Swarm/Language/Typecheck.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/swarm-lang/Swarm/Language/Typecheck.hs b/src/swarm-lang/Swarm/Language/Typecheck.hs index 4b44adc64..47d06e15a 100644 --- a/src/swarm-lang/Swarm/Language/Typecheck.hs +++ b/src/swarm-lang/Swarm/Language/Typecheck.hs @@ -889,7 +889,7 @@ inferTop :: Has (Error ContextualTypeErr) sig m => TCtx -> ReqCtx -> TDCtx -> SourceMap Resolved -> Syntax Resolved -> m (SyntaxWithImports Typed) inferTop ctx reqCtx tdCtx srcMap = - fmap (uncurry (SyntaxWithImports Nothing)) -- XXX SyntaxWithImports Nothing? + fmap (uncurry (SyntaxWithImports Nothing)) -- XXX SyntaxWithImports Nothing? . runTC ctx reqCtx tdCtx Ctx.empty srcMap . infer @@ -898,7 +898,7 @@ checkTop :: Has (Error ContextualTypeErr) sig m => TCtx -> ReqCtx -> TDCtx -> SourceMap Resolved -> Syntax Resolved -> Type -> m (SyntaxWithImports Typed) checkTop ctx reqCtx tdCtx srcMap t = - fmap (uncurry (SyntaxWithImports Nothing)) -- XXX SyntaxWithImports Nothing? + fmap (uncurry (SyntaxWithImports Nothing)) -- XXX SyntaxWithImports Nothing? . runTC ctx reqCtx tdCtx Ctx.empty srcMap . check t . toU