
#8767: Add rules involving `coerce` to the libraries -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: | Version: 7.9 libraries/base | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 8718 Type of failure: | Related Tickets: #2110 None/Unknown | Test Case: | tests/simplCore/should_run/T2110.hs| Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by ekmett): dmcclean: Note: such a `RULE` is predicated on your `Functor` actually being lawful as well as having a representational argument. (It'd also result in `Coercible (f a) (f b)`.) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8767#comment:20 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler