search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
223 stars 11 forks source link

Kind inference can crash the compiler #1082

Closed johnynek closed 7 months ago

johnynek commented 7 months ago

If we fail to infer a kind and then a subsequent type uses it, we incorrectly believe currently this cannot happen and we throw a sys.error.