Duplicate type signature not reported
With todays HEAD, as well as one a couple of moths ago (but not with 7.2, I'm told), the attached program does not cause an error or a warning. The crucial fragment is this
bbb, aaa :: Int aaa :: Int
With the "bbb" removed, it does lead to error. I guess at least a warning should be issued.