diff options
Diffstat (limited to 'src/Pure.ml')
| -rw-r--r-- | src/Pure.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index ba763767..4c6b836c 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -81,7 +81,9 @@ type constant_value = V.constant_value type var = { id : VarId.id; ty : ty } (** Because we introduce a lot of temporary variables, the list of variables is not fixed: we thus must carry all its information with the variable - itself + itself. + + TODO: add a field for the basename. *) type var_or_dummy = Var of var | Dummy (** Ignored value: `_` *) |