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