[commit: ghc] ghc-8.2: Add fixity declaration for :~~: (e4925da)

[git at git.haskell.org]

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

On branch  : ghc-8.2
Link       : http://ghc.haskell.org/trac/ghc/changeset/e4925dab854c9482cd621e6a649b4b2a5fe8016a/ghc

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

commit e4925dab854c9482cd621e6a649b4b2a5fe8016a
Author: Ryan Scott <ryan.gl.scott at gmail.com>
Date:   Sun Jun 18 16:49:02 2017 -0400

    Add fixity declaration for :~~:
    
    We have one for `(:~:)`, but not for `(:~~:)`! Let's fix this
    oversight.
    
    Reviewers: bgamari, austin, hvr
    
    Reviewed By: bgamari
    
    Subscribers: rwbarton, thomie
    
    Differential Revision: https://phabricator.haskell.org/D3657
    
    (cherry picked from commit ee9232524bdba5b268278ec51f30106bb7178ce9)


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

e4925dab854c9482cd621e6a649b4b2a5fe8016a
 libraries/base/Data/Type/Equality.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libraries/base/Data/Type/Equality.hs b/libraries/base/Data/Type/Equality.hs
index 69da70b..bd597ee 100644
--- a/libraries/base/Data/Type/Equality.hs
+++ b/libraries/base/Data/Type/Equality.hs
@@ -77,7 +77,7 @@ instance {-# INCOHERENT #-} a ~~ b => a ~ b
   -- INCOHERENT because we want to use this instance eagerly, even when
   -- the tyvars are partially unknown.
 
-infix 4 :~:
+infix 4 :~:, :~~:
 
 -- | Propositional equality. If @a :~: b@ is inhabited by some terminating
 -- value, then the type @a@ is the same as the type @b at . To use this equality