
25 Aug
2009
25 Aug
'09
7:55 p.m.
On Tue, Aug 25, 2009 at 7:15 PM, Ryan Ingram
On Tue, Aug 25, 2009 at 6:07 AM, Cristiano Paris
wrote: On Tue, Aug 25, 2009 at 12:07 AM, Ryan Ingram
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