From 89cdd3bda3eadd3260734a5a2e2591afae41c566 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 19 Jul 2019 08:46:02 -0400 Subject: [PATCH] Reformat the signature for typecheckingAnalysis. --- semantic-core/src/Analysis/Typecheck.hs | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/semantic-core/src/Analysis/Typecheck.hs b/semantic-core/src/Analysis/Typecheck.hs index 95170ee67..998dc301b 100644 --- a/semantic-core/src/Analysis/Typecheck.hs +++ b/semantic-core/src/Analysis/Typecheck.hs @@ -116,7 +116,15 @@ runFile file = traverse run file v <$ for_ bs (unify v)) . convergeTerm (fix (cacheTerm . eval typecheckingAnalysis)) -typecheckingAnalysis :: (Alternative m, Carrier sig m, Member Fresh sig, Member (State (Set.Set Constraint)) sig, Member (State (Heap User (Term Monotype Meta))) sig, MonadFail m) => Analysis User (Term Monotype Meta) m +typecheckingAnalysis + :: ( Alternative m + , Carrier sig m + , Member Fresh sig + , Member (State (Set.Set Constraint)) sig + , Member (State (Heap User (Term Monotype Meta))) sig + , MonadFail m + ) + => Analysis User (Term Monotype Meta) m typecheckingAnalysis = Analysis{..} where alloc = pure bind _ _ = pure ()