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?
Simon
From: ghc-devs <ghc-devs-boun...@haskell.org> On Behalf Of David Feuer
Sent: 19 August 2018 19:07
To: ghc-devs <ghc-devs@haskell.org>
Subject: Unlifted primop types
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
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
