[Haskell-cafe] Displaying infered type signature of 'offside' functions

[Stefan O'Rear]

On Wed, May 02, 2007 at 04:16:57PM -0000, kahl at 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