diff options
author | Son Ho | 2023-11-12 19:35:24 +0100 |
---|---|---|
committer | Son Ho | 2023-11-12 19:35:24 +0100 |
commit | 0a5859fbb7bcd99bfa221eaf1af029ff660bf963 (patch) | |
tree | 2fc90c855ac49b1649b115f0e0e9b179dc993439 /compiler/Interpreter.ml | |
parent | b9f33bdd871a1bd7a1bd29f148dd05bd7990548b (diff) |
Rename some variants
Diffstat (limited to '')
-rw-r--r-- | compiler/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index bc28bcd6..b1178aa7 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -74,7 +74,7 @@ let symbolic_instantiate_fun_sig (ctx : C.eval_ctx) (sg : A.fun_sig) let types = List.map (fun (v : T.type_var) -> T.TypeVar v.T.index) types in let const_generics = List.map - (fun (v : T.const_generic_var) -> T.ConstGenericVar v.T.index) + (fun (v : T.const_generic_var) -> T.CGVar v.T.index) const_generics in (* Annoying that we have to generate this substitution here *) |