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

[kahl at cas.mcmaster.ca]

 > 
 > > * It would be nice if this worked inside the do-notation, too:
 > >
 > >   do x :: Ordering
 > >      x <- m
 > >
 > >   (This is curently a syntax error.)
 > 
 > I think the following works with -fglasgow-exts:
 > 
 > do (x :: Ordering) <- m

I know, but it is not as nice!

;-)


Wolfram