Files
lix/tests/lang
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
..
2014-10-03 22:32:11 +02:00
2019-05-03 17:23:36 +02:00
2018-02-06 16:48:08 -05:00
2006-03-01 16:26:13 +00:00
2014-09-22 16:05:00 +02:00
2017-07-18 08:04:01 -04:00
2006-05-02 11:20:55 +00:00
2014-09-22 16:05:00 +02:00
2007-01-29 14:23:09 +00:00
2006-10-17 11:16:02 +00:00
2015-07-23 19:23:11 +02:00
2015-07-23 19:23:11 +02:00
2018-05-24 12:51:34 +00:00
2018-05-24 12:51:34 +00:00
2011-07-06 10:58:53 +00:00
2011-07-06 10:58:53 +00:00
2016-02-15 15:01:26 +01:00
2006-03-01 16:26:13 +00:00
2016-11-13 17:20:34 +01:00
2016-11-13 17:20:34 +01:00
2014-10-18 20:34:48 -04:00
2014-09-22 16:05:00 +02:00
2014-09-22 16:05:00 +02:00
2013-12-31 20:59:49 +00:00
2013-12-31 20:59:49 +00:00
2014-02-26 19:08:44 +01:00
2014-02-26 19:08:44 +01:00
2014-02-26 19:08:44 +01:00
2014-02-26 19:08:44 +01:00
2020-03-04 11:43:48 +01:00
2020-03-04 11:43:48 +01:00
2019-06-24 17:09:09 +02:00
2019-06-24 17:09:09 +02:00
2019-05-03 17:23:36 +02:00
2019-05-03 17:23:36 +02:00
2019-05-03 17:23:36 +02:00
2019-05-03 17:23:36 +02:00
2019-05-03 17:23:36 +02:00
2006-03-01 16:26:13 +00:00
2004-10-27 12:41:53 +00:00
2006-03-01 16:26:13 +00:00
2018-02-06 16:48:08 -05:00
2006-05-02 11:15:04 +00:00
2006-05-02 11:20:55 +00:00
2014-05-29 19:04:27 +02:00
2014-09-22 16:05:00 +02:00
2014-09-22 16:05:00 +02:00
2021-11-24 13:40:46 +01:00
2021-11-24 13:40:46 +01:00
2010-05-07 14:46:47 +00:00
2010-05-07 14:46:47 +00:00
2010-05-07 14:46:47 +00:00
2019-03-24 11:36:49 +01:00
2010-03-23 14:51:32 +00:00
2014-05-26 14:26:29 +02:00
2014-05-26 14:26:29 +02:00
2017-11-14 15:10:52 +01:00
2004-10-27 12:41:53 +00:00
2006-08-16 10:29:43 +00:00