Unlifted primop types

Simon Peyton Jones simonpj at microsoft.com
Mon Aug 20 12:11:14 UTC 2018

I don’t quite know how primops.txt.pp is processed, but perhaps by utils/genprimopcode.   You may need to update the syntax a bit?


From: ghc-devs <ghc-devs-bounces at haskell.org> On Behalf Of David Feuer
Sent: 19 August 2018 19:07
To: ghc-devs <ghc-devs at haskell.org>
Subject: Unlifted primop types

I'm trying to implement a single primop to replace sameMutVar#, sameMutableArray#, etc. The primop should have type

  :: 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/20180820/10c28241/attachment.html>

More information about the ghc-devs mailing list