diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-11 22:49:32 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-11 22:49:32 +0000 |
| commit | cca39ebc24d3dfcfcbb2565843ee9f70891cb139 (patch) | |
| tree | e2996f670efd50d346cfa8dd0f836bcb65aca4dc /editors/emacs | |
| parent | f60153ee9e1d598c170743633448aa3ede8cb72e (diff) | |
| parent | 1212e59beed25d768bfaf7bb202aa955a87106e9 (diff) | |
Merge #491
491: Fix assertion error in unification (hopefully) r=flodiebold a=flodiebold
Currently, all types that we handle during inference need to be resolved as far
as possible at the time. It's maybe too brittle of an invariant; I need to think
how we can do this better. This should fix #484 though, I hope (if
it's the same case as I managed to reproduce).
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'editors/emacs')
0 files changed, 0 insertions, 0 deletions