Summary

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

Metadata

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.

Changes and comments

[2012-04-27 23:20:31 UTC] felix changed status from new to closed

[2012-04-27 23:20:31 UTC] felix set resolution to fixed

[2012-04-27 23:20:31 UTC] felix wrote:

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