nrabulinski/lix

Author SHA1 Message Date

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

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

3 commits