As Haskell is statically typed, if y.length < 100, y is still of type Big...
On 22 July 2011 10:18, Patrick Browne <patrick.bro...@dit.ie> wrote: > 2) Assert the type of a variable > e.g. if y.length > 100 then y is of type big. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe