inconsistency with "ghc-pkg describe"

2005-09-06 Thread Frederik Eaton
In an invocation of "ghc-pkg describe PACKAGE", if a package PACKAGE is found in multiple package.conf files (which are specified via the --package-conf option on the ghc-pkg command line) then a description for *each* such occurrence of that package is printed, one after the other. But since "ghc

GADT: weird error message

2005-09-06 Thread Arthur Baars
In the code below the function "trans" is accepted by GHC 6.4, but "trans1" is not. I would expect that "(x,y)" is just syntactic sugar for "(,) x y", but apparently it isn't. I guess this is a bug; can anyone explain what is going on? Cheers, Arthur The Code: data Equal a b where Eq ::