diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Values.ml | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/compiler/Values.ml b/compiler/Values.ml index 30e4f05d..7f6808ae 100644 --- a/compiler/Values.ml +++ b/compiler/Values.ml @@ -482,19 +482,6 @@ class ['self] map_typed_avalue_base = part of it is thus "abstracted" away. *) type avalue = - | APrimitive of primitive_value - (** TODO: remove. We actually don't use that for the synthesis, but the - meta-values. - - Note that this case is not used in the projections to keep track of the - borrow graph (because there are no borrows in "concrete" values!) but - to correctly instantiate the backward functions (we may give back some - values at different moments: we need to remember what those values were - precisely). Also note that even though avalues and values are not the - same, once values are projected to avalues, those avalues still have - the structure of the original values (this is necessary, again, to - correctly instantiate the backward functions) - *) | AAdt of adt_avalue | ABottom | ALoan of aloan_content |