At 2002-05-30 04:10, Johannes Waldmann wrote:

ghc -Wall warns nicely about undeclared top-level types but what about locals?

You'd have to declare them in terms of the top-level types, i.e. other type annotations. I think GHC allows some form of this, but IIRC it's a bit tricky. If it weren't for this difficulty I'd probably type-annotate locals. -- Ashley Yakeley, Seattle WA