Hi, On 6 September 2012 18:49, Thomas DuBuisson <thomas.dubuis...@gmail.com>wrote:
> > 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. > > We're getting more meta than Haskell provides cleanly, but all > significant uses I can currently think of for something like that > would require universal quantification over types: One way could be: import Control.Spoon f = 1 + 'a' test = assertTrue (teaspoon f == Nothing) -- Ozgur Akgun
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
