diff options
author | Son Ho | 2022-01-26 09:27:51 +0100 |
---|---|---|
committer | Son Ho | 2022-01-26 09:27:51 +0100 |
commit | eb99be9ac37b9b42dbf5767b135773b03fafd7e1 (patch) | |
tree | bb9f147a21acdd90f65d3813b2cce04bc88859c2 /src/Pure.ml | |
parent | 864b0dfe11641f56195de506011ea4dfdd847574 (diff) |
Cleanup a bit
Diffstat (limited to '')
-rw-r--r-- | src/Pure.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index 566ba46b..fd1e7763 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -22,7 +22,10 @@ type ty = | Adt of T.type_id * ty list (** [Adt] encodes ADTs, tuples and assumed types. - TODO: what about the ended regions? + TODO: what about the ended regions? (ADTs may be parameterized + with several region variables. When giving back an ADT value, we may + be able to only give back part of the ADT. We need a way to encode + such "partial" ADTs. *) | TypeVar of TypeVarId.id | Bool @@ -110,9 +113,6 @@ type fun_id = type call = { func : fun_id; type_params : ty list; args : typed_rvalue list } -type left_value = unit -(** TODO: assignment left value *) - type let_bindings = | Call of typed_lvalue list * call (** The called function and the tuple of returned values. *) |