3 commits

Author	SHA1	Message	Date
John Ericson	3f58d5a76b	Expand tests to reproduce #7655 ... The original `builtins.getContext` test from 1d757292d0 would have caught this. The problem is that b30be6b450 adding `builtins.appendContext` modified that test to make it test too much at once, rather than adding a separate test. We now have isolated tests for both functions, and also a property test showing everything put together (in the form of an eta rule for strings with context). This is better coverage and properly reproduces the bug. (cherry picked from commit 88d8f6ac48)	2023-01-23 14:43:23 +00:00
Shea Levy	b30be6b450	Add builtins.appendContext. ... A partner of builtins.getContext, useful for the same reasons.	2019-01-31 08:52:23 -05:00
Shea Levy	1d757292d0	Add builtins.getContext. ... This can be very helpful when debugging, as well as enabling complex black magic like surgically removing a single dependency from a string's context.	2019-01-14 11:27:10 -05:00