3 Commits

Include renames

Author	SHA1	Message	Date
Prabhat SachdevaandRichard Smith	a359da37c4	Explorer: improve type checking trace output (#3039) ... Updates the trace output for type checking to be more consistent like the rest of trace output. This PR also includes few changes in the lit tests related to trace output. --------- Co-authored-by: Richard Smith <richard@metafoo.co.uk>	2023-08-08 17:58:12 +00:00
Prabhat Sachdeva	2c4fff25a8	Explorer: add more information to stack trace (#3040) ... Adds **action kind** and **source location** for stack trace. Example: ``` (+) stack-push: <action> (<source location>) (+) stack-pop: <action> (<source location>) ``` This PR also updates the `Action::Print(...)` method, following is the generalized view of `Action::Print(...)`. ``` ActionKind pos: <pos_count> `<related_code>` results: [<collected_results>] scope: [<scope>] ```	2023-08-03 16:05:37 +00:00
Jon Ross-Perkins	96517a1ee3	Migrate explorer tests to file_test and remove lit support. (#3050) ... This migrates explorer tests to file_test, using the new --autoupdate functionality. Per discussion, the trace tests that were using "not" output are mostly migrated to checking full output. The main exception is tests that were including trace output from the prelude: the prelude output is pretty long (multiple MB already) and I think it wasn't the intent to include, only trace output from the small program. This is the remaining use of lit support, so the supporting libraries are also removed here.	2023-08-02 21:44:16 +00:00