Commit c7623fc1 authored by batterseapower's avatar batterseapower
Browse files

Add a data type we can use to box up equality evidence for -XConstraintKind

parent 9cd14ba0
......@@ -78,6 +78,13 @@ or the '>>' and '>>=' operations from the 'Monad' class.
newtype IO a = IO (State# RealWorld -> (# State# RealWorld, a #))
-- | A data constructor used to box up all unlifted equalities
--
-- The type constructor is special in that GHC pretends that it
-- has kind (? -> ? -> Fact) rather than (* -> * -> *)
data (~) a b = Eq# ((~#) a b)
--------------------------------------------------------------------------------
-- Generic representations
--------------------------------------------------------------------------------
......
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