HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.55k stars 141 forks source link

Compiler crashes when using an undeclared alias #578

Closed developedby closed 1 year ago

developedby commented 1 year ago
Main : Data.Bool/
Main = Data.Bool.true

Crashes with `[Error]: internal compiler error 'problem with 'use' desugaring' at crates/kind-pass/src/unbound/mod.rs:173:13'

Looks like it's continuing compilation even though there was an unexpanded alias use