Hi,

Now that we know what the syntax of pattern synonym type signatures is going to be for GHC 7.10, would it make sense / is it not too late to backport that same syntax to 7.8.4?

To recap, 7.8 doesn't support adding type signatures to pattern synonyms, but GHCi's ":i" and Haddock both need to produce output which has them. There's a horrible hacked-together syntax in 7.8 which is very much *not* the syntax that will be used in 7.10.

Thanks,
        Gergo

--
  .--= ULLA! =-----------------.
   \     http://gergo.erdi.hu   \
    `---= ge...@erdi.hu =-------'
A tojások csirkékkel szaporodnak.
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs

Reply via email to