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 2 years ago by nomeata
- Owner set to nomeata
comment:9 Changed 2 years ago by nomeata
- Resolution set to fixed
- Status changed from patch to closed