Commit 1192df4e authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski

Typo in manual

Remove remains of old role syntax
parent 6b2ccadc
......@@ -11131,13 +11131,13 @@ Here are some examples:</para>
data T3 a b = MkT3 a -- OK: nominal is higher than necessary, but safe
type role T4 nominal
data T4 a = MkT4 (a Int) -- OK, but N is higher than necessary
data T4 a = MkT4 (a Int) -- OK, but N is higher than necessary
type role C representational _
class C a b where ... -- OK
type role X nominal
type X a@N = ... -- ERROR: role annotations not allowed for type synonyms
type X a = ... -- ERROR: role annotations not allowed for type synonyms
</programlisting>
</sect2>
......
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