George Thomas
3d2785b7d3
Make Rust day 5 vector operations more efficient
...
We do more in-place and operate on the end of the vector to avoid quadratic complexity.
2026-01-07 14:45:55 +00:00
George Thomas
70b56f4501
Use new type for day 5 ranges
...
This is cleaner and faster, with inherent methods and mutability.
2026-01-07 14:29:47 +00:00
George Thomas
88c138baf0
Solve day 5 in Rust
2026-01-07 14:05:58 +00:00
George Thomas
bf1cac4e94
Use proper Nom number parsing functions
...
This was previously a documentation/discoverability issue, rather than a conscious choice to avoid these.
2026-01-07 13:41:03 +00:00
George Thomas
b80743c840
Indent test failures
2026-01-07 01:11:45 +00:00
George Thomas
ffbdd8744e
Update temporary width override
...
This matches the usual setup on my main development machine.
2026-01-07 01:04:34 +00:00
George Thomas
f98a4c29d2
Switch timings to blue
...
Black can look pretty bad on some consoles, including GNOME's.
2026-01-07 01:02:31 +00:00
George Thomas
aefb7f067f
Use Unicode for tree drawing
2026-01-07 00:55:46 +00:00
George Thomas
fb2d412f95
Simplify test name handling
...
We keep the internal type safety, while making things easier for users.
2026-01-07 00:55:07 +00:00
George Thomas
f634b9b42d
Use Text for test names
2026-01-07 00:43:51 +00:00
George Thomas
3721c27c32
Use custom monad for more principled test failure handling
2026-01-07 00:39:35 +00:00
George Thomas
39714ff1c3
Rename some type parameters
2026-01-06 23:36:10 +00:00
George Thomas
a7f7a2506f
Minor refactor
2026-01-06 23:16:08 +00:00
George Thomas
83b14ed6ed
Use terminal-size library
...
It still doesn't work yet in GHCID or GHCIWatch, but it seems more likely to, and it runs a lot faster.
2026-01-06 23:15:42 +00:00
George Thomas
98acc016a6
Justify test time to right of terminal
2026-01-06 23:15:41 +00:00
George Thomas
2eecc653b8
Remove colours from test times
...
The implementation is slightly awkward, and will be much more so when we'll want to count characters for nicer terminal layout. It's maybe not the best UX anyway. We'll think about alternatives.
2026-01-06 23:15:39 +00:00
George Thomas
fc623d0ea6
Add proper test display function
2026-01-06 23:15:37 +00:00
George Thomas
d18166951b
Add mwhen
2026-01-06 23:15:36 +00:00
George Thomas
41f0b8d511
Move some utilities out of Day4.hs
2026-01-06 23:15:03 +00:00
George Thomas
99de1c4d40
Add pretty-simple to prelude
2026-01-06 23:15:03 +00:00
George Thomas
9246597b49
Render ASCII drawing of test tree
2026-01-06 23:14:56 +00:00
George Thomas
ce8cfeca67
Format
2026-01-06 23:14:50 +00:00
George Thomas
ecb7391468
Tidy up main
2026-01-06 23:14:43 +00:00
George Thomas
db41a65453
Avoid forcing puzzle parts outputs
...
Note that:
- This allows us to remove some very temporary hacky code from day 4.
- This includes a refactoring to hide `TestTree`, which could in theory have been made separate.
- This reverts a lot of 1163889.
2026-01-06 23:14:36 +00:00
George Thomas
f213cdb6c3
Minor refactor
2026-01-06 23:14:25 +00:00
George Thomas
cd292d4580
Define withConstrained
2026-01-06 23:14:17 +00:00
George Thomas
83e4489e1f
Add timing information to tests
...
Most of this is concerned with propagating `NFData` constraints.
2026-01-06 23:13:58 +00:00
George Thomas
c1813b4725
Use safe indices for test part lookup
2026-01-05 18:31:34 +00:00
George Thomas
fbc63c221b
Minor refactor
2026-01-05 17:00:21 +00:00
George Thomas
a47e738ec2
Avoid printing empty extra test trees
2026-01-05 17:00:21 +00:00
George Thomas
24a21e3807
Remove heterogenous list length function
2026-01-05 17:00:21 +00:00
George Thomas
7bacf5efc4
Improve error handling in Day 4 extra tests
2026-01-05 17:00:21 +00:00
George Thomas
7ee7b458ce
Format
2026-01-05 17:00:21 +00:00
George Thomas
0dfb8ae7bf
Minor refactor
2026-01-05 17:00:21 +00:00
George Thomas
c3e69cde09
Move to custom test library
2026-01-05 17:00:15 +00:00
George Thomas
ab0a926e24
Move and rephrase comment
2026-01-04 11:16:00 +00:00
George Thomas
f6771a7131
Check day 4 number of frames is as expected
2026-01-04 11:13:39 +00:00
George Thomas
234640fb1a
Add non-parameterised version of HList fold
2026-01-04 02:58:50 +00:00
George Thomas
2180af71ad
Reformat
2026-01-04 02:58:50 +00:00
George Thomas
c4b85eac71
Inline some functions and simplify
2026-01-04 02:58:45 +00:00
George Thomas
8e6179f103
Implement all HList functions in terms of single fold
2026-01-04 02:39:33 +00:00
George Thomas
784e6f2fb2
Generalise puzzle parts type
2026-01-04 02:14:35 +00:00
George Thomas
8442ce8dba
Generalise test monoid instance
2026-01-01 13:24:49 +00:00
George Thomas
f7c9297a85
Reuse expensive computation for day 4 extra tests
...
Ideally we'd similarly add the ability for later tests to use the results of earlier ones. But this would probably require much heavier type family usage.
2025-12-31 01:49:16 +00:00
George Thomas
450d7e5240
Port from Tasty to Sydtest
...
There are some drawbacks:
- No properly lazy golden tests. This would in principle be nice when e.g. using `pretty-simple`.
- Because tests can be created dynamically, they can't be listed up front without running them. This presumably makes filtering slightly more annoying to use in practice.
- Terminal output is less compact than tasty, both horizontally and vertically. There appears to be no way to change this.
- We end up defining an orphan `Monoid (TestDefM '[] () ())` instance, to avoid changing much downstream code. Note though that this is not strictly necessary, and could potentially be contributed upstream.
- There's a warning about threads in GHCI which we can't seem to disable.
- The license forbids use in commercial projects without sponsoring. Thankfully that doesn't apply here.
Anyway, it's generally very impressive. It simplifies a few things for us, and will particularly help when we come to want to specify dependencies between tests.
2025-12-31 01:49:07 +00:00
George Thomas
5b24dc1238
Format
2025-12-30 12:03:38 +00:00
George Thomas
2cd2341673
Share frame generation to avoid accidental quadratic complexity
...
Previously each test was computing all frames from scratch.
2025-12-30 12:03:21 +00:00
George Thomas
50e3119aef
Minor refactor
2025-12-23 15:13:25 +00:00
George Thomas
6f5a56acd9
Simplify test result printing
2025-12-23 15:11:52 +00:00
George Thomas
f3247b2e9c
Combine test result printing in to single expression
2025-12-23 13:43:09 +00:00
