ent: 13 April 2018 02:39
> To: Iavor Diatchki
> Cc: ghc-devs@haskell.org
> Subject: Re: Question about TypeInType
>
> I think this is #12088. The problem is that open type family instances aren't
> used in kind checking in the same region of a module. The workaround is to
if it is, please can someone add a new regression example to #12088. You can
never have too many.
Thanks
Simon
From: ghc-devs On Behalf Of Richard Eisenberg
Sent: 13 April 2018 02:39
To: Iavor Diatchki
Cc: ghc-devs@haskell.org
Subject: Re: Question about TypeInType
I think this is #12088
I think this is #12088. The problem is that open type family instances aren't
used in kind checking in the same region of a module. The workaround is to put
a top-level Template Haskell splice
> $(return [])
between the two type instances. This is far from optimal, but fixing it is a
Major Pro
Hello,
I was experimenting with TypeInType and run into a problem, that can be
reduced to the following example. Does anyone have any insight on what
causes the error, in particular why is `IxKind` not being reduced?
-Iavor
{-# Language TypeInType, TypeFamilies #-}
module Help where
import D
