Get rid of associated-type default declarations
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 1 Sep 2011 06:55:11 +0000 (07:55 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 1 Sep 2011 06:55:11 +0000 (07:55 +0100)
commit5e102e64d6e581e3ea1f290547fc4be6fce20a00
tree0d22ad2dd168fb7c9691dd74637fdaf57bca8b46
parent14681f8a2e49d249d7fa2c1e6d332b06713f1ec7
Get rid of associated-type default declarations

We had the idea that you might be able to define
a default instance for an associated type family, thus:

   class C a where
     type T a :: *
     type T a = a -> a

It's an idea that makes sense, but it was only 10% implemented.
This patch just removes that misleading 10%.
compiler/parser/Parser.y.pp
compiler/parser/RdrHsSyn.lhs