-boun...@haskell.org> On Behalf Of Richard Eisenberg
> Sent: 13 April 2018 02:39
> To: Iavor Diatchki <iavor.diatc...@gmail.com>
> Cc: ghc-devs@haskell.org
> Subject: Re: Question about TypeInType
>
> I think this is #12088. The problem is that open type family ins
.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 put
a top-level Template Haskell splice
> $(return [])
between the two type instances. This is f
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
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
