Skip to content

Commit

Permalink
evaluator: fix prim_func_type using args term as returns term
Browse files Browse the repository at this point in the history
  • Loading branch information
LunNova committed Nov 26, 2023
1 parent e6958c3 commit e5ef4e8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion evaluator.lua
Original file line number Diff line number Diff line change
Expand Up @@ -1055,7 +1055,7 @@ function infer(
elseif inferrable_term:is_prim_function_type() then
local args, returns = inferrable_term:unwrap_prim_function_type()
local arg_type, arg_usages, arg_term = infer(args, typechecking_context)
local return_type, return_usages, return_term = infer(args, typechecking_context)
local return_type, return_usages, return_term = infer(returns, typechecking_context)
local res_usages = usage_array()
add_arrays(res_usages, arg_usages)
add_arrays(res_usages, return_usages)
Expand Down

0 comments on commit e5ef4e8

Please sign in to comment.