Fix #964, type variable escaping constraints

elm · Jun 10, 2015 · d5d6028 · d5d6028
1 parent 54dae77
commit d5d6028
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Type/Constrain/Expression.hs b/src/Type/Constrain/Expression.hs
@@ -98,7 +98,7 @@ constrain env (A.A region expression) tipe =
               argVar' <- variable Flexible
               resultVar <- variable Flexible
 
-              return $ ex [argVar,argVar',resultVar] $ CAnd $
+              return $ ex [funcVar, argVar, argVar', resultVar] $ CAnd $
                 [ argCon
                 , funcCon
                 , CEqual (Error.ExtraArgument funcRegion) region