@@ -98,7 +98,7 @@ constrain env (A.A region expression) tipe =
98 argVar' <- variable Flexible
98 argVar' <- variable Flexible
99 resultVar <- variable Flexible
99 resultVar <- variable Flexible
101− return $ ex [argVar,argVar',resultVar] $ CAnd $
101+ return $ ex [funcVar, argVar, argVar', resultVar] $ CAnd $
103 , funcCon
103 , funcCon
104 , CEqual (Error.ExtraArgument funcRegion) region
104 , CEqual (Error.ExtraArgument funcRegion) region