diff options
author | Son Ho | 2022-05-06 10:26:54 +0200 |
---|---|---|
committer | Son Ho | 2022-05-06 10:26:54 +0200 |
commit | a593c7638c9c675425a7a03f0981a1f19881be11 (patch) | |
tree | f51ac9e58823d2d5a74dca433306d1f8e753f3fb /src/Values.ml | |
parent | 932d4479aa5c5f6d483e886d37d3c5e73d51c4ff (diff) |
Add an option to eagerly end abstractions if a function has return type
unit and the abstractions don't contain loans
Diffstat (limited to 'src/Values.ml')
-rw-r--r-- | src/Values.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml index 4799f3b9..4e45db03 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -545,7 +545,7 @@ and aloan_content = *) | AIgnoredSharedLoan of typed_avalue (** An ignored shared loan. - + Example: ======== ``` |