Back to Purescript

`CycleInKindDeclaration` Error

errors/CycleInKindDeclaration.md

latest259 B
Original Source

CycleInKindDeclaration Error

Cause

A top-level kind signature is declared in a way that would incur a dependency on itself.

Fix

  • A kind signature cannot depend on itself.
  • Check the kind signature for any types mentioned in the kind signature.