diff options
| author | Brian Campbell | 2018-08-03 16:50:31 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-03 16:50:31 +0100 |
| commit | bcb0bb41b9b0058ec03383cc27ec0ef613511c65 (patch) | |
| tree | 611ae407ef55bffcb663047937203934a5c42b29 /lib | |
| parent | baabef2bc2d39fc47ba47cd2ac5305856dd212a2 (diff) | |
Fix existential variable problems in monomorphisation
One due to using raw types from the type checker in casts without trying
to turn them into sane types, the other due to forgetting to use the
constraint when trying to simplify sizes in existential types. Both
triggered because the type checker now records more specific types.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions