Hi, Am Dienstag, den 03.12.2013, 11:08 -0800 schrieb Iavor Diatchki:
Here is a piece of code that produces the desired error:
[..]
The `DataKinds` and `KindSigantures` are only used to match your example closely. Here is a simpler version that causes essentially the same error:
[..]
thanks for these examples. Both, though, give different error messages in GHC HEAD. I’m more and more confident that this is an inadvertent error message, see https://ghc.haskell.org/trac/ghc/ticket/8592 Once that is sorted out, I’ll make sure these examples (or at least a representative one) makes it into the testsuite. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org