2 May
2007
2 May
'07
6:39 p.m.
On Wed, May 02, 2007 at 04:16:57PM -0000, kahl@cas.mcmaster.ca wrote:
Now the compiler gives you wonderful error messages ``cannot match type `x y z' against Ordering'' --- so you replace ``Ordering'' with ``x y z''.
You could just use a rigid type variable: foo :: a foo = ...
(What is the right Language.Extension for GADTs?)
There is none. Stefan