compiler: seem to have fixed #22

need @liamoc to review
au-ts · Mar 6, 2018 · 01a2f45 · 01a2f45
1 parent 5dd3bc1
commit 01a2f45
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cogent/src/Cogent/TypeCheck/Solver.hs b/cogent/src/Cogent/TypeCheck/Solver.hs
@@ -227,7 +227,7 @@ rule (T (TTuple xs) :< T (TTuple ys))
   | length xs /= length ys = return $ Just $ Unsat (TypeMismatch (T (TTuple xs)) (T (TTuple ys)))
   | otherwise              = return $ Just $ mconcat (zipWith (:<) xs ys)
 rule ct@(T (TFun a b)  :< T (TFun c d)) = do
-  let ct' = (c :< a) :& (b :< d)
+  let ct' = (a :< c) :& (d :< b)
   traceTC "sol" (text "constraint" <+> pretty ct <+> text "is decomposed into"
                  P.<$> pretty ct')
   return $ Just ct'