Opened 12 years ago

Closed 12 years ago

#754 closed defect (fixed)

compiler-typecase: try to obtain line-number in error message if possible

Reported by: felix winkelmann Owned by: felix winkelmann
Priority: minor Milestone:
Component: compiler Version: 4.7.x
Keywords: compiler-typecase Cc:
Estimated difficulty:

Description

Errors generated by compiler-typecase will not have any context-information, so it would be nice to have the line-number, if it is available for the original form. This possibly needs extending the params for ##core#typecase to contain source-info.

Change History (1)

comment:1 Changed 12 years ago by felix winkelmann

Resolution: fixed
Status: newclosed

This has been implemented in 8b95e6e1, a while ago.

Note: See TracTickets for help on using tickets.