summaryrefslogtreecommitdiff
path: root/infer.c
diff options
context:
space:
mode:
authorLeo Tenenbaum <pommicket@gmail.com>2020-01-17 17:33:12 -0500
committerLeo Tenenbaum <pommicket@gmail.com>2020-01-17 17:33:12 -0500
commit3d3c0f04e26d3f07983601dc91714e3dca447206 (patch)
treeae27f8e3de2c7081c3b896d01228f62a30a0a771 /infer.c
parent29e8e65be7b07515b3f45a67593602d9e4317115 (diff)
code cleanup (FnExpr now contains Location)
Diffstat (limited to 'infer.c')
-rw-r--r--infer.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/infer.c b/infer.c
index 98d5635..f577988 100644
--- a/infer.c
+++ b/infer.c
@@ -1,4 +1,4 @@
-static bool call_arg_param_order(Allocator *allocr, FnExpr *fn, Location fn_where, Type *fn_type, Argument *args, Location where, U16 **param_indices);
+static bool call_arg_param_order(Allocator *allocr, FnExpr *fn, Type *fn_type, Argument *args, Location where, U16 **param_indices);
static bool types_expr(Typer *tr, Expression *e);
/* resolved_to should have the same value as to, but not consist of any identifiers which aren't in scope right now */
@@ -52,7 +52,7 @@ static bool infer_from_expr(Typer *tr, Expression *match, Expression *to, Expres
if (!types_expr(tr, f))
return false;
FnExpr *fn_decl = idecl->decl->expr.fn;
- if (!call_arg_param_order(tr->allocr, fn_decl, idecl->decl->where, &f->type, m_args, match->where, &order))
+ if (!call_arg_param_order(tr->allocr, fn_decl, &f->type, m_args, match->where, &order))
return false;
}
for (size_t i = 0; i < nargs; ++i) {