[Haskell-cafe] No warn on type in expression?

[amindfv at gmail.com]

An expression like:

x = 5 :: Int

Fails with -Wall -Werror, with "Top-level binding with no type signature". I propose we don't warn on bindings whose entire expressions are typed. This cuts in half the line noise for trivial variable values.

Tom