Module Interp_common.BacktraceSource

Sourcetype trace = Util.Source.region * (unit -> string)
Sourcetype backtrace =
  1. | Err of trace list
  2. | Unmatch of trace list
Sourceexception Backtrace of backtrace
Sourceval back_failtraces : backtrace -> Util.Attempt.failtrace list
Sourceval back : backtrace -> 'a
Sourceval back_err : Util.Source.region -> string -> 'a
Sourceval back_unmatch : Util.Source.region -> string -> 'a
Sourceval back_nest : Util.Source.region -> (unit -> string) -> backtrace -> 'a
Sourceval check_back_err : bool -> Util.Source.region -> string -> unit