purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Exports of Ordering and Boolean Kinds Missing

eric-corumdigital opened this issue · comments

Dependent libraries were relying on the kind exports of Ordering and Boolean and those were removed between 5.0.0 and 5.0.1

dd703ba

Thanks for the report. There was a compiler bug which caused an unused import warning to be emitted where none should have been, which is what led to these things being removed and published as a patch level change. The compiler bug is now fixed but I guess I forgot to come back and revert the change here.

Published as v5.0.2.