Passing through the line number/ position in the source that caused an error

[nielstron]

Is your feature request related to a problem? Please describe. Debugging contracts on-chain is always difficult. In particular one might be interested in the precise location of the error in the original source (similar to a traceback in python)

Describe the solution you'd like A traceback is infeasible, but error messages could be tagged with the line in the original source code that caused the error at compilation time. What needs to be worked out is to how to display the line number nicely, so that it might look similar to a python traceback.

This likely requires passing through the line number of the invocation of some higher level functions at compile time.

Describe alternatives you've considered None

Additional context None

Bug bounty: 200 ADA