On Tue, Aug 25, 2009 at 7:15 PM, Ryan Ingram<ryani.s...@gmail.com> wrote:
> On Tue, Aug 25, 2009 at 6:07 AM, Cristiano Paris<fr...@theshire.org> wrote:
>> On Tue, Aug 25, 2009 at 12:07 AM, Ryan Ingram<ryani.s...@gmail.com> wrote:
>>>> {-# LANGUAGE GADTs, RankNTypes, TypeFamilies, ScopedTypeVariables,
>>>> FlexibleContexts #-}
>>>> {-# LANGUAGE FlexibleInstances #-}
>
>> Disturbing... I must admin it: I'll never be a Haskell Guru (tm).
>
> That's funny, I consider GADTs, RankNTypes, and ScopedTypeVariables to
> be the starting point for real code. They just go at the top of the
> file without thinking at this point. (Well, sometimes I leave GADTs
> out)
It was not the pragmas, it was the type machinery that bit of scared me :)
Cristiano
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
