#2110: Rules to eliminate casted id's ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by nomeata): Today I got the chance to talk to SPJ in person about this and we discussed a few variants to solve this. One promising variant, not much different from sweirich’s comment, is now summarized at ExposingNewtypeCoercions. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2110#comment:32 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler