> > Here's a good Haskell 98 question: is this a valid H98 module?
> >
> > module F where
> > sin :: Float -> Float
> > sin x = (x::Float)
> >
> > f :: Float -> Float
> > f x = Prelude.sin (F.sin x)
> >
> That sounds like a fine thing to do if the signature is unqualified.
> But it should also be legal to use an explicit qualifier, so
> long as you
> specify the same module that would be used if the signature
> was unqualified.
I'd rather not do this. The Haskell98 syntax only allows
an uqualified name in a type sig, and we're in typo-only mode at the
moment. In any case I think it's not clearly desirable to allow
a qualified name in a type signature. So I don't propose to do this.
Simon