aboutsummaryrefslogtreecommitdiff
path: root/lux-mode
diff options
context:
space:
mode:
authorEduardo Julian2019-04-16 17:39:37 -0400
committerEduardo Julian2019-04-16 17:39:37 -0400
commitfeb8bb0f422188c7c47db065d3e12b38748ac174 (patch)
treec5985359110b890a5915e168d19737f8a35f61ef /lux-mode
parentd3b8919e3609243191c0d946aa0ddb68fc20ff69 (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