[commit: ghc] master: Add fixity declaration for :~~: (ee9232524)

git at git.haskell.org git at git.haskell.org
Mon Jun 19 12:16:13 UTC 2017


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

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

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

commit ee9232524bdba5b268278ec51f30106bb7178ce9
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


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

ee9232524bdba5b268278ec51f30106bb7178ce9
 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 173e3c4..8cc34f6 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



More information about the ghc-commits mailing list