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/Assumed.ml | |
parent | b9f33bdd871a1bd7a1bd29f148dd05bd7990548b (diff) |
Rename some variants
Diffstat (limited to '')
-rw-r--r-- | compiler/Assumed.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Assumed.ml b/compiler/Assumed.ml index d8f19173..5622ef26 100644 --- a/compiler/Assumed.ml +++ b/compiler/Assumed.ml @@ -43,7 +43,7 @@ module Sig = struct let tvar_id_0 = T.TypeVarId.of_int 0 let tvar_0 : T.ty = T.TypeVar tvar_id_0 let cgvar_id_0 = T.ConstGenericVarId.of_int 0 - let cgvar_0 : T.const_generic = T.ConstGenericVar cgvar_id_0 + let cgvar_0 : T.const_generic = T.CGVar cgvar_id_0 (** Region 'a of id 0 *) let region_param_0 : T.region_var = { T.index = rvar_id_0; name = Some "'a" } |