diff options
| author | Alasdair | 2019-02-20 22:31:51 +0000 |
|---|---|---|
| committer | Alasdair | 2019-02-20 22:41:31 +0000 |
| commit | 7253269fb62712e7e8fd94d5d0264d5bed9e8406 (patch) | |
| tree | 9119cd23ce556f0b9b1ffcf719d11fa5dcdbbd77 /src/initial_check.ml | |
| parent | 09c8c3e212e5959461312d28240f2ae843a19e81 (diff) | |
Fix bug with missing satisfiablity check in subtyping
Thanks to Mark for finding this bug. Regression test is
complex_exist_sat in test/typecheck/pass/
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions