reallyUnsafePtrEquality # sui costruttori senza campi

Question

È a mia conoscenza che i costruttori di un tipo che non hanno campi sono "allocati staticamente" e GHC shares these between all uses e che il GC will not move these.

Se questo è corretto allora mi aspetterei usi di reallyUnsafePtrEquality# su valori come False e Nothing essere molto sicuro (senza falsi negativi o positivi), perché possono essere rappresentati solo come puntatori identici alla singola istanza di quel costruttore.

Il mio ragionamento è corretto? Esistono potenziali trucchi o motivi per sospettare che questo potrebbe diventare pericoloso nelle prossime versioni future di GHC?

Answer 1

In realtà sono riuscito a ottenere reallyUnsafePtrEquality per fare la cosa sbagliata.

Ecco il mio esempio di codice minimo

{-# LANGUAGE MagicHash #-} 
import GHC.Prim 

-- Package it up nicely 
ptrCmp :: a -> a -> Bool 
ptrCmp a b = case (reallyUnsafePtrEquality# a b) of 
    0# -> False 
    1# -> True 

main = do 
    b <- readLn 
    let a = if b then Nothing else Just() 
     a' = Nothing 
    print $ a == a'  -- Normal 
    print $ ptrCmp a a' -- Evil 

E fare qualcosa di simile

$ ghc --version 
    The Glorious Glasgow Haskell Compilation System, version 7.8.2 
$ ghc unsafe.hs 
$ ./unsafe 
    True 
    True 
    False 

Quindi ... sì, reallyUnsafePtrEquality è ancora il male.