Suggest Int when user uses int
|Reported by:||nomeata||Owned by:||nomeata|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||#1388||Differential Rev(s):|
This ticket is a fork of #1388. We already give suggestions when the user mispells names, based on edit distance. But this does not cross the boundaries between different kind of names.
It would be helpful if
Not in scope: type variable `int' would also say
Did you mean the type constructor `Int'?