#14195: Generalize makeStableName# -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: (none) Type: feature request | Status: patch Priority: low | Milestone: Component: Compiler | Version: 8.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D3928 Wiki Page: | -------------------------------------+------------------------------------- Comment (by andrewthad): You're right. To actually make this be safe, we would have to redefine `StableName#` as well: {{{#!hs data StableName# s a makeStableName# :: a -> State# s -> (#State# s, StableName# s a#) }}} And now you can't use `runST` create a `StableName` at the top level like you did before. But, now this becomes a more annoying change to make. I'm going to go ahead and close this because, as you've pointed out, it's not as simple to do as I thought, and because I've realized that I don't actually need to use `StableName` to accomplish the thing I was originally planning on doing. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14195#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler