chiark / gitweb /
Return a more robust warning when we try to define a type with a
authorRupert Swarbrick <rswarbrick@gmail.com>
Sat, 5 Jun 2010 14:36:38 +0000 (15:36 +0100)
committerRupert Swarbrick <rswarbrick@gmail.com>
Sat, 5 Jun 2010 14:36:38 +0000 (15:36 +0100)
broken supertype. (Before, it seriously broke the type system if this
happened)


No differences found