diff options
| author | Alasdair | 2020-01-31 14:07:22 +0000 |
|---|---|---|
| committer | Alasdair | 2020-01-31 14:10:11 +0000 |
| commit | 8890d715d824c8ddec17f654a652974e9ce17ce6 (patch) | |
| tree | d8dfe8a11b9ddcee885cf0196cbb61e9fc5bafdb /lib/exception_basic.sail | |
| parent | 82b16d23182f9b6e1c19052b9af9f088d5920017 (diff) | |
Fix soundness bug found by Mark
When returning a type from a letbinding we need to be careful that the
type it returns does not refer to any type variable that only exists for
the lifetime of the letbinding (because it was bound by it). Normally
this fails because any type variable bound in the inner letbinding won't
exist in the outer scope, but if it is shadowed this can cause an issue.
Diffstat (limited to 'lib/exception_basic.sail')
0 files changed, 0 insertions, 0 deletions