Pattern synonyms do work in GHCi now (see #9900)
authorDr. ERDI Gergo <gergo@erdi.hu>
Fri, 9 Jan 2015 11:30:04 +0000 (19:30 +0800)
committerDr. ERDI Gergo <gergo@erdi.hu>
Fri, 9 Jan 2015 11:30:04 +0000 (19:30 +0800)
docs/users_guide/glasgow_exts.xml

index 0503561..61ab799 100644 (file)
@@ -1025,8 +1025,7 @@ bidirectional. The syntax for unidirectional pattern synonyms is:
 <para>
   Pattern synonym declarations can only occur in the top level of a
   module. In particular, they are not allowed as local
-  definitions. Currently, they also don't work in GHCi, but that is a
-  technical restriction that will be lifted in later versions.
+  definitions.
 </para>
 <para>
   The variables in the left-hand side of the definition are bound by