From 6f818e083c8390b0c039bcebb6ec21b336d4173b Mon Sep 17 00:00:00 2001
From: "Dr. ERDI Gergo" <gergo@erdi.hu>
Date: Fri, 9 Jan 2015 19:30:04 +0800
Subject: Pattern synonyms do work in GHCi now (see #9900)

---
 docs/users_guide/glasgow_exts.xml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'docs')

diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index 05035610e7..61ab799e1e 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -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
-- 
cgit v1.2.1