16 Sep
2007
16 Sep
'07
8:59 p.m.
On Sun, Sep 16, 2007 at 10:45:39PM +0200, Bas van Dijk wrote:
On 9/16/07, Mads Lindstrøm <mads_lindstroem@yahoo.dk> wrote:
But what if I want to "apply" the 'b' ? How do I do that ?
The following uses type families (functions) and compiles under GHC HEAD:
{-# OPTIONS_GHC -XTypeFamilies -XEmptyDataDecls -XTypeSynonymInstances #-}
Eek! That should be: {-# LANGUAGE TypeFamilies, EmptyDataDecls, TypeSynonymInstances #-} Modulo the fact that only GHC support type families at the moment, the latter will be portable... (Ian/Simon: I've seen this several times now. Maybe there should be a warning for -X in OPTIONS? Is that even feasable?) Stefan