Typo in manual
authorKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 15 Oct 2013 16:42:52 +0000 (18:42 +0200)
committerKrzysztof Gogolewski <krz.gogolewski@gmail.com>
Tue, 15 Oct 2013 17:28:34 +0000 (19:28 +0200)
Remove remains of old role syntax

docs/users_guide/glasgow_exts.xml

index 2a6c818..b0a4820 100644 (file)
@@ -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>