diff options
author | Son Ho | 2023-09-01 12:01:03 +0200 |
---|---|---|
committer | Son Ho | 2023-09-01 12:01:03 +0200 |
commit | 06360698561019d7f480dcb4263e2099d9a03ca5 (patch) | |
tree | a38b04f4798efb26f4620449b002055af98d79c2 /compiler/InterpreterStatements.ml | |
parent | c61b32393508479657b51b777a0b4816815a55a5 (diff) |
Implement the normalization functions in AssociatedTypes
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterStatements.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterStatements.ml b/compiler/InterpreterStatements.ml index d38f8b95..3fb07956 100644 --- a/compiler/InterpreterStatements.ml +++ b/compiler/InterpreterStatements.ml @@ -326,7 +326,7 @@ let get_assumed_function_return_type (ctx : C.eval_ctx) (fid : A.assumed_fun_id) Subst.erase_regions_substitute_types ty_subst cg_subst tr_subst tr_self sg.output in - Assoc.ctx_normalize_type ctx ty + Assoc.ctx_normalize_ety ctx ty let move_return_value (config : C.config) (pop_return_value : bool) (cf : V.typed_value option -> m_fun) : m_fun = |