diff options
| author | Eduardo Julian | 2019-04-16 17:39:37 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-04-16 17:39:37 -0400 |
| commit | feb8bb0f422188c7c47db065d3e12b38748ac174 (patch) | |
| tree | c5985359110b890a5915e168d19737f8a35f61ef /lux-mode | |
| parent | d3b8919e3609243191c0d946aa0ddb68fc20ff69 (diff) | |
Made some fixes the the type-checker, to properly handle the situation of type-checking against type-application, when the type-abstraction being checked against is some unknown type.
Diffstat (limited to 'lux-mode')
0 files changed, 0 insertions, 0 deletions