4 Commits

Author	SHA1	Message	Date
Stanisław Barzowski	6140a2f75a	Better stacktrace for manifestation, +: and object assertions. ... Fixes #282	2021-01-01 19:17:27 +01:00
Stanisław Barzowski	797bfd89ed	Better handling of stack traces. ... Fixes multiple issues with stack traces leading to missing stack trace lines. Also, we no longer put builtin context on the line which *calls* the builtin as if it was a part of the builtin itself. Code for stack trace handling was centralized. We no longer need traceElement argument in ~every function. Now the stack trace state is kept solely in the interpreter.	2020-11-21 15:36:05 +01:00
Dave Cunningham	5cc426ed04	Bring submodule and stdlib to cpp master	2018-03-06 23:49:02 -05:00
Dave Cunningham	7c8f4d0b12	Call top level function even if there are no TLAs (match cpp semantics) (#169) ... * Call top level function even if there are no TLAs (match cpp semantics)	2018-01-10 20:43:55 -05:00