diff options
| author | Alasdair Armstrong | 2018-01-22 14:33:01 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-01-22 14:33:01 +0000 |
| commit | 6eee8747074539f77881cea90ce848cd8f4de1a5 (patch) | |
| tree | b3233fb496abd6e26293f8dccb9370698199dde4 /src/lem_interp/sail_impl_base.lem | |
| parent | 1f8ac16d110e2b964a482c083e3782f406e94b69 (diff) | |
Add regression test for type synonym with constraints inside existential typechecking bug
Diffstat (limited to 'src/lem_interp/sail_impl_base.lem')
0 files changed, 0 insertions, 0 deletions