On Thu, Sep 6, 2012 at 1:05 PM, Ian Lynagh <i...@well-typed.com> wrote: > * It is now possible to defer type errors until runtime using the > -fdefer-type-errors flag.
I don't remember if this was part of the motivation in creating this feature, but it has a nice use case: asserting on a test suite that something should *not* type check. Cheers, -- Felipe. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users