Dear Ian, et al.
On 17 May 2012, at 16:41, Ian Lynagh wrote:
> For what it's worth, I recently looked at doing this, but all the
> options seemed to end up very ugly.
>
> The most promising approach was using something like this:
>
>data None = None
>
>type family PostTc i t :: *
>t
On Wed, May 16, 2012 at 05:41:33PM +0100, "Philip K. F. Hölzenspies" wrote:
>
> I'm trying to refactor the types in GHC (working on HEAD). First of all, I
> want to parameterise HsExpr et al to be parametric in the type representation
> (to remove the PostTcType type, which can not be instantiat
Dear GHCers,
I'm trying to refactor the types in GHC (working on HEAD). First of all, I want
to parameterise HsExpr et al to be parametric in the type representation (to
remove the PostTcType type, which can not be instantiated before the type
checker).
I tried to do this with regular expressi
