Am 29.07.2014 um 12:02 schrieb Johan Tibell:

P.S. For e.g. INLINABLE we require that you mention the function name
next to the pragma (which means that you can e.g. put the pragma after
the declaration). What's the rationale to not require

{-# OVERLAPPING Show [Char] #-}

here? Perhaps it's too annoying to have to repeat the types?

Once I proposed a pragma for documenting intentionally unimplemented instances. In this case there is no instance you can write a pragma in front of. Your OVERLAPPING syntax would be conform with the one of NOINSTANCE:

https://ghc.haskell.org/trac/ghc/ticket/7775

Maybe NOINSTANCE can be reconsidered in the course of the introduction of the OVERLAP pragma?