Commit b9b5f4c5 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Associated type defaults work only for type *synonym* defaults

parent c64926f3
......@@ -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>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment