Duplicate type signature not reported
|Reported by:||MikolajKonarski||Owned by:|
|Operating System:||Linux||Architecture:||x86_64 (amd64)|
|Type of failure:||GHC accepts invalid program||Test Case:||rename/should_fail/T5589|
|Related Tickets:||Differential Revisions:|
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.