Commit ee923252 authored by Ryan Scott's avatar Ryan Scott Committed by Ben Gamari
Browse files

Add fixity declaration for :~~:

We have one for `(:~:)`, but not for `(:~~:)`! Let's fix this

Reviewers: bgamari, austin, hvr

Reviewed By: bgamari

Subscribers: rwbarton, thomie

Differential Revision:
parent 04ca0360
......@@ -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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment