diff options
| author | Alasdair Armstrong | 2018-04-25 20:19:14 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-04-25 20:23:35 +0100 |
| commit | 2217a2537cc504d298da763af613f56965782274 (patch) | |
| tree | d651f5241e81b684fd366ec14bc57f153b10cb90 /doc/examples/enum2.sail | |
| parent | 7511b5f693d350fa0d675f0c527d0d633a0ba560 (diff) | |
Simplify subtyping check
This should make subtyping work better for tuples containing
constrained types. Removes the intermediate type-normal-form
representation from the subtyping check, and replaces it with
Env.canonicalize from the canonical branch.
Diffstat (limited to 'doc/examples/enum2.sail')
0 files changed, 0 insertions, 0 deletions