Hello Magesh,
The bug is in 7.8.3, which should never have allowed your `Test1`. Haskell type
families may not be partially applied -- the type system and type inference
just don't know how to handle such things. In 7.8.3, the check was accidentally
turned off, as discussed in #9433, as you found. 7.8.3 allows you to do a few
limited things with partially applied families, but you'll get very strange
errors if you continue down that road, as GHC quickly gets horribly confused.
I'm afraid you'll have to find a different way to express what you want.
Richard
On Jan 13, 2015, at 9:49 AM, magesh b <mages...@gmail.com> wrote:
> Hi,
>
> {-# LANGUAGE TypeFamilies, ConstraintKinds #-}
>
> import GHC.Exts
>
> type family TyFun a
>
> data DictC (c :: * -> Constraint)
>
> data DictTF (tf :: * -> *)
>
> type Test1 = DictTF TyFun -- Fails here in 7.8.4
>
> type Test2 = DictC Show
>
> When I compile the above code, I'm getting the following error in 7.8.4 and
> the same code works in 7.8.3.
>
> Test.hs:11:1:
> Type synonym ‘TyFun’ should have 1 argument, but has been given none
> In the type declaration for ‘Test1’
>
> Is this a bug or a expected behavior?
> For reference, I could find two fixes to type family related bug in this
> release.
> https://ghc.haskell.org/trac/ghc/ticket/9433
> https://ghc.haskell.org/trac/ghc/ticket/9316
>
>
> Thanks & Regards,
> Magesh B
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-devs
