Re: [Haskell-cafe] {-# SPECIALIZE foo @Bar #-} ?

On 08/07/2019 10:50, Johannes Waldmann wrote:

with pragma SPECIALIZE, I find it tedious to repeat the type declaration. (It's a burden for maintenance and readability.)

Could we use type-application syntax instead?

There's an inactive GHC proposal for this: https://github.com/ghc-proposals/ghc-proposals/pull/15 Also a bit of discussion on this StackOverflow question: https://stackoverflow.com/questions/39379531/how-do-i-specialise-with-an-exp... Cheers, Ganesh