From b7693579fe0c7708bbabd6488fd7b140388123f0 Mon Sep 17 00:00:00 2001 From: Kirill Elagin Date: Sat, 4 Apr 2015 00:16:42 +0300 Subject: [PATCH] Fix arrows --- src/TypeChecking/Expressions/Conditions.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/TypeChecking/Expressions/Conditions.hs b/src/TypeChecking/Expressions/Conditions.hs index 7da864b..9808e20 100644 --- a/src/TypeChecking/Expressions/Conditions.hs +++ b/src/TypeChecking/Expressions/Conditions.hs @@ -17,7 +17,7 @@ import TypeChecking.Context as C import TypeChecking.Expressions.Utils import Normalization -checkConditions :: Eq b => Ctx String f Void b => Term Semantics b => [(S.Posn, Clause b)] => [Error] +checkConditions :: Eq b => Ctx String f Void b -> Term Semantics b -> [(S.Posn, Clause b)] -> [Error] checkConditions ctx func cs = maybeToList $ msum $ map (\(pos, Clause p scope) -> fmap (conditionsErrorMsg pos ctx) $ checkPatterns func (map (\(_, c) -> c) cs) p scope) cs