| Is the result of dataToTag unique globally, or just per data type? Is | there any assumption on the range or order?
Per data type. The tags come out 0,1,2... in the same order that you declared the constructors in the data type declaration. | For tagToEnum, does the following isomorphism hold? | | iso :: Enum a => a -> a | iso = tagToEnum . dataToTag Yes I think so! Simon _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
