Add fixity declaration for :~~:
authorRyan Scott <ryan.gl.scott@gmail.com>
Sun, 18 Jun 2017 20:49:02 +0000 (16:49 -0400)
committerBen Gamari <ben@smart-cactus.org>
Mon, 19 Jun 2017 11:54:32 +0000 (07:54 -0400)
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

libraries/base/Data/Type/Equality.hs

index 173e3c4..8cc34f6 100644 (file)
@@ -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@. To use this equality