Unlifted primop types
David Feuer
david.feuer at gmail.com
Sun Aug 19 18:07:07 UTC 2018
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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180819/5d55807a/attachment.html>
More information about the ghc-devs
mailing list