Re: bug with type families

2008-06-03 Thread Manuel M T Chakravarty
Stefan Holdermans: Peter, I've run into a bug that looks to be the same as the one described here: http://hackage.haskell.org/trac/ghc/ticket/1897 It does not seem like a bug, although the type-error message may be a bit confusing as is the fact that GHC happily infers a type for the

bug with type families

2008-06-02 Thread Peter Gavin
Hello, I've run into a bug that looks to be the same as the one described here: http://hackage.haskell.org/trac/ghc/ticket/1897 That bug was reported 7 months ago, and I didn't want to modify the bug just to add a me too entry to it. Is this a major bug that I shouldn't expect to be fixed

Re: bug with type families

2008-06-02 Thread Stefan Holdermans
Peter, I've run into a bug that looks to be the same as the one described here: http://hackage.haskell.org/trac/ghc/ticket/1897 It does not seem like a bug, although the type-error message may be a bit confusing as is the fact that GHC happily infers a type for the signature-less

Re: bug with type families

2008-06-02 Thread Peter Gavin
Stefan Holdermans wrote: Peter, I've run into a bug that looks to be the same as the one described here: http://hackage.haskell.org/trac/ghc/ticket/1897 It does not seem like a bug, although the type-error message may be a bit confusing as is the fact that GHC happily infers a type for the