diff options
author | Son Ho | 2023-11-12 19:28:56 +0100 |
---|---|---|
committer | Son Ho | 2023-11-12 19:28:56 +0100 |
commit | b9f33bdd871a1bd7a1bd29f148dd05bd7990548b (patch) | |
tree | ba5a21debaad2d1efa1add3cbcbfa217b115d638 /compiler/InterpreterPaths.mli | |
parent | 587f1ebc0178acb19029d3fc9a729c197082aba7 (diff) |
Remove the 'r type variable from the ty type definition
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterPaths.mli | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/compiler/InterpreterPaths.mli b/compiler/InterpreterPaths.mli index 0ff8063f..a493ad69 100644 --- a/compiler/InterpreterPaths.mli +++ b/compiler/InterpreterPaths.mli @@ -55,12 +55,15 @@ val write_place : *) val compute_expanded_bottom_tuple_value : T.ety list -> V.typed_value -(** Compute an expanded ADT ⊥ value *) +(** Compute an expanded ADT ⊥ value. + + The types in the generics should use erased regions. + *) val compute_expanded_bottom_adt_value : C.eval_ctx -> T.TypeDeclId.id -> T.VariantId.id option -> - T.egeneric_args -> + T.generic_args -> V.typed_value (** Drop (end) outer loans at a given place, which should be seen as an l-value |