Associated type defaults work only for type *synonym* defaults
authorSimon Peyton Jones <simonpj@microsoft.com>
Mon, 24 Oct 2011 14:40:07 +0000 (15:40 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 24 Oct 2011 14:40:07 +0000 (15:40 +0100)
docs/users_guide/glasgow_exts.xml

index e5b866f..9c5dc86 100644 (file)
@@ -4916,6 +4916,7 @@ class IsBoolMap v where
 instance IsBoolMap [(Int, Bool)] where
   lookupKey = lookup
 </programlisting>
+A default declaration is not permitted for an associated <emphasis>data</emphasis> type.
       </para>
        </sect3>