[Haskell] ANNOUNCE: GHC version 7.6.1
ozgurakgun at gmail.com
Thu Sep 6 20:03:04 CEST 2012
On 6 September 2012 18:49, Thomas DuBuisson <thomas.dubuisson at 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:
f = 1 + 'a'
test = assertTrue (teaspoon f == Nothing)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users