git.iko.soy/elk
on master help sign in
Add additional metadata for TooManyArguments error
b371450Evan Czaplicki
src/Type/Constrain/Expression.hs+1−1
compare with master
unifiedsplit
@@ -224,7 +224,7 @@ constrainCallBackup rtv region maybeFuncName func args =
224 let resultType = VarN resultVar
224 let resultType = VarN resultVar
225 let arityType = foldr FunN resultType argTypes
225 let arityType = foldr FunN resultType argTypes
226
226
227− funcCon <- constrain rtv func (FromContext region BadArity arityType)
227+ funcCon <- constrain rtv func (FromContext region (TooManyArgs maybeFuncName (length args)) arityType)
228
228
229 return $ exists (resultVar:argVars) $ CAnd [ CAnd argCons, funcCon ]
229 return $ exists (resultVar:argVars) $ CAnd [ CAnd argCons, funcCon ]
230
230
src/Type/Constraint.hs+1−1
@@ -78,7 +78,7 @@ data Context
78 | IfBranch Index.ZeroBased
78 | IfBranch Index.ZeroBased
79 | CaseBranch Index.ZeroBased
79 | CaseBranch Index.ZeroBased
80 | CallArg (Maybe FuncName) Index.ZeroBased
80 | CallArg (Maybe FuncName) Index.ZeroBased
81− | BadArity
81+ | TooManyArgs (Maybe FuncName) Int
82 | RecordAccess N.Name
82 | RecordAccess N.Name
83 | RecordUpdate
83 | RecordUpdate
84 | Destructure
84 | Destructure