proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript
MIT License
8 stars 0 forks source link

Backtraces #27

Closed ghost closed 10 years ago

ghost commented 10 years ago

Currently, runtime errors are reported by giving a single source location. Ideally, we would like a stack trace, giving source locations of all callers higher up the stack.