@@ -198,7 +198,7 @@ constrainApp env region f args tipe =
198 do funcVar <- variable Flexible
198 do funcVar <- variable Flexible
199 funcCon <- constrain env f (varN funcVar)
199 funcCon <- constrain env f (varN funcVar)
201− (vars, numberOfArgsCons, argCons, argMatchCons, returnVar) <-
201+ (vars, argCons, numberOfArgsCons, argMatchCons, returnVar) <-
202 argConstraints env maybeName region funcVar 1 args
202 argConstraints env maybeName region funcVar 1 args
204 let returnCon =
204 let returnCon =
@@ -250,13 +250,13 @@ argConstraints env name region overallVar index args =
250 (varN argIndexVar)
250 (varN argIndexVar)
251 (varN argVar)
251 (varN argVar)
253− (vars, numberOfArgsRest, argConRest, argMatchRest, returnVar) <-
253+ (vars, argConRest, numberOfArgsRest, argMatchRest, returnVar) <-
254 argConstraints env name region localReturnVar (index + 1) rest
254 argConstraints env name region localReturnVar (index + 1) rest
257 ( argVar : argIndexVar : localReturnVar : vars
257 ( argVar : argIndexVar : localReturnVar : vars
258− , numberOfArgsCon : numberOfArgsRest
259 , argCon : argConRest
258 , argCon : argConRest
259+ , numberOfArgsCon : numberOfArgsRest
260 , argMatchCon : argMatchRest
260 , argMatchCon : argMatchRest
261 , returnVar
261 , returnVar