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'?
Change History (11)
comment:2 Changed 16 months ago by nomeata
- Owner set to nomeata
comment:9 Changed 16 months ago by nomeata
- Resolution set to fixed
- Status changed from patch to closed