12:08
| To: glasgow-haskell-users@haskell.org
| Subject: conflicting multi-parameter family instance declarations
|
| Dear all,
|
| The following compiles with ghc 7.6 but fails with ghc 7.8:
|
| -
| {-# LANGUAGE TypeFamilies #-}
| {-# LANGUAGE FlexibleInstances #-}
| {-# LANGUAGE M
Dear all,
The following compiles with ghc 7.6 but fails with ghc 7.8:
-
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module Test where
class M t s where
type T t s
data I t = I t
instance M t t where
type (T t t) = ()