chiark / gitweb /
Return a more robust warning when we try to define a type with a