6 Sep
2012
6 Sep
'12
6:03 p.m.
Hi,
On 6 September 2012 18:49, Thomas DuBuisson
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