[commit: ghc] master: Add information about irrefutable pattern Syntax to XStrict. (00d7132)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/00d71323e53a4eb8ae63ab32e6e1709d2f118542/ghc

>---------------------------------------------------------------

commit 00d71323e53a4eb8ae63ab32e6e1709d2f118542
Author: klebinger.andreas at gmx.at <klebinger.andreas at gmx.at>
Date:   Mon Dec 11 12:53:54 2017 -0500

    Add information about irrefutable pattern Syntax to XStrict.
    
    This information was present in the ghc wiki but not the user guide.
    [skip ci]
    
    Test Plan: None
    
    Reviewers: bgamari
    
    Reviewed By: bgamari
    
    Subscribers: RyanGlScott, rwbarton, thomie, carter
    
    Differential Revision: https://phabricator.haskell.org/D4250


>---------------------------------------------------------------

00d71323e53a4eb8ae63ab32e6e1709d2f118542
 docs/users_guide/glasgow_exts.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst
index 3edb8d6..7861a17 100644
--- a/docs/users_guide/glasgow_exts.rst
+++ b/docs/users_guide/glasgow_exts.rst
@@ -12523,6 +12523,10 @@ optionally had by adding ``!`` in front of a variable.
 
    Adding ``~`` in front of ``x`` gives the regular lazy behavior.
 
+   Turning patterns into irrefutable ones requires ``~(~p)`` or ``(~ ~p)`` when ``Strict`` is enabled.
+
+   
+
 -  **Let/where bindings**
 
    When the user writes ::