purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming
BSD 3-Clause "New" or "Revised" License
63 stars 21 forks source link

Exports of Ordering and Boolean Kinds Missing #55

Closed eric-corumdigital closed 4 years ago

eric-corumdigital commented 4 years ago

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

https://github.com/purescript/purescript-typelevel-prelude/commit/dd703bac30e9cd837dba64fce4d0ff750da965d0

hdgarrood commented 4 years ago

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.

hdgarrood commented 4 years ago

Published as v5.0.2.