diff options
| author | Alasdair Armstrong | 2017-08-10 23:24:59 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-10 23:24:59 +0100 |
| commit | 588c45e84642425fe9530f4ef6a44753cc54a0f8 (patch) | |
| tree | 7f02b3bd6bc9d24194162843d587baaca8a9fadb /test/typecheck | |
| parent | e4fce3ffd02b69e36b42ffe3c868570c45aef986 (diff) | |
Fix bug with subtyping in let bindings
Diffstat (limited to 'test/typecheck')
| -rw-r--r-- | test/typecheck/pass/let_subtyp_bug.sail | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/typecheck/pass/let_subtyp_bug.sail b/test/typecheck/pass/let_subtyp_bug.sail new file mode 100644 index 00000000..e2abde2d --- /dev/null +++ b/test/typecheck/pass/let_subtyp_bug.sail @@ -0,0 +1,9 @@ +let ([|5|]) y = 2 + +val unit -> nat effect pure test + +function test() = { + let ([|5|]) x = 2 in + x +} +
\ No newline at end of file |