Known problems with promoted tuples and lists in GHC 7.4.1?

David Menendez dave at
Wed Jun 6 22:37:25 CEST 2012

Are there any known issues involving type-level pairs and lists? I've
hit a few baffling type errors that went away when I refactored my
code to use locally-defined pairs and lists instead of those provided
by the prelude.

More worryingly, I had one function that would stop passing the type
checker if I replaced '[n] with (n ': '[]) in its signature.

Dave Menendez <dave at>

More information about the Glasgow-haskell-users mailing list