Add additional metadata for TooManyArguments error
commitb371450b28641ef1fc3125a09909454fb12b6a5b
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateFri 22 Dec 2017, 17:02 (9 years ago)
parent2deedfb
src/Type/Constrain/Expression.hs+1−1
@@ -224,7 +224,7 @@ constrainCallBackup rtv region maybeFuncName func args =
224224 let resultType = VarN resultVar
225225 let arityType = foldr FunN resultType argTypes
226226
227− funcCon <- constrain rtv func (FromContext region BadArity arityType)
227+ funcCon <- constrain rtv func (FromContext region (TooManyArgs maybeFuncName (length args)) arityType)
228228
229229 return $ exists (resultVar:argVars) $ CAnd [ CAnd argCons, funcCon ]
230230
src/Type/Constraint.hs+1−1
@@ -78,7 +78,7 @@ data Context
7878 | IfBranch Index.ZeroBased
7979 | CaseBranch Index.ZeroBased
8080 | CallArg (Maybe FuncName) Index.ZeroBased
81− | BadArity
81+ | TooManyArgs (Maybe FuncName) Int
8282 | RecordAccess N.Name
8383 | RecordUpdate
8484 | Destructure