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