I'm trying to implement a single primop to replace sameMutVar#, sameMutableArray#, etc. The primop should have type
unliftedPtrEquality#
:: forall (a :: TYPE 'UnliftedRep).
a -> a -> Int#
Unfortunately, I don't see a way to express this type in primops.pp.txt. Is
it possible? If not, what's the right way to give the primop the right type?
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
