diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2015-01-09 19:30:04 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2015-01-09 19:30:04 +0800 |
| commit | 6f818e083c8390b0c039bcebb6ec21b336d4173b (patch) | |
| tree | 43fc2dd2213f5cd2021246b825216f8162623ce5 /docs/users_guide/glasgow_exts.xml | |
| parent | 68a5a784e71b7535aa7d739bf1b003e96267a021 (diff) | |
| download | haskell-6f818e083c8390b0c039bcebb6ec21b336d4173b.tar.gz | |
Pattern synonyms do work in GHCi now (see #9900)
Diffstat (limited to 'docs/users_guide/glasgow_exts.xml')
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 3 |
1 files changed, 1 insertions, 2 deletions
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 |