| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0005618 | OCaml | OCaml general | public | 2012-05-17 22:18 | 2012-05-28 13:55 |
|
| Reporter | cfalls | |
| Assigned To | frisch | |
| Priority | low | Severity | feature | Reproducibility | always |
| Status | resolved | Resolution | fixed | |
| Platform | | OS | | OS Version | |
| Product Version | | |
| Target Version | | Fixed in Version | 4.01.0+dev | |
|
| Summary | 0005618: enrich "not a function" compile error with type information |
| Description | When there's a type error, and in particular I'm trying to use a non-function as a function, I wish the error message would include the specific types involved instead of just saying "not a function". |
| Steps To Reproduce | # let x = 3;;
val x : int = 3
# List.map x [];;
Error: This expression has type int but an expression was expected of type
'a -> 'b
# x 5;;
Error: This expression is not a function; it cannot be applied
|
| Additional Information | I'd like "x 5" above to produce an error more like "This expression is not a function and so cannot be applied. In particular, it has type int but an expression was expected of type int -> 'a".
I mention this mostly because there's a chance it's very easy to implement.
|
| Tags | No tags attached. |
|
| Attached Files | |
|
Relationships 
Relationships 