3 commits

Author	SHA1	Message	Date
John Ericson	88d8f6ac48	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.	2023-01-21 23:50:09 -05: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