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