Hi all,

I'm having some problem understanding these two GHC primitives.

Is the result of dataToTag unique globally, or just per data type? Is
there any assumption on the range or order?

For tagToEnum, does the following isomorphism hold?

iso :: Enum a => a -> a
iso = tagToEnum . dataToTag

Any hints will be greatly appreciated. Thanks a lot!
-- 
Regards,
Paul Liu

_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to