Haskell GHC 8.0.1挂起。解释还是编译器错误？

有人能解释一下为什么下面的代码会导致GHC 8.0.1在编译时永远循环，或者这是一个bug吗

{-# LANGUAGE TypeFamilyDependencies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE AllowAmbiguousTypes #-}

main = return $ f (Just 'c')

data D1 x
data D2

type family TF x = t | t -> x
type instance TF (D1 x, a) = Maybe (TF (x, a))
type instance TF (D2, ()) = Char

f :: TF (x, a) -> ()
f _ = ()

---

编译器陷入无限循环而没有

UndecidableInstances

或

UndecidableSuperclassCycles

是一个编译器错误，如下所示。你应该在网站上报告

我简化了您的示例，这可能会澄清问题，也可能不会澄清问题，可能会使您的bug报告更有效

{-# LANGUAGE TypeFamilyDependencies #-}

module TFLoop where

import Data.Proxy

main :: IO ()
main = return $ f Proxy Proxy (Just 'c')

data D1 x
data D2

type family TF d a = t | t -> d a
type instance TF (D1 x) a = Maybe (TF x a)
type instance TF D2 () = Char

f :: proxy1 x -> proxy2 a -> TF x a -> ()
f _ _ _ = ()

---

我不知道，但是

TypeFamilyDependencies

的文档让我担心它们还没有准备好迎接黄金时段。他们有不自然的限制，不适合我；如果开发人员错过了一个位置，我不会感到震惊。如果它永远循环，那肯定是一个bug