Skip to content

Improve error messages#144

Merged
Soupstraw merged 11 commits intomasterfrom
jj/validator-trace
Feb 23, 2026
Merged

Improve error messages#144
Soupstraw merged 11 commits intomasterfrom
jj/validator-trace

Conversation

@Soupstraw
Copy link
Copy Markdown
Contributor

@Soupstraw Soupstraw commented Feb 10, 2026

This PR adds validation traces, which can be pretty-printed to provide lots of useful information about validation. For this I defined a ValidationTrace datatype and then threaded it through the validator.

Example 1

2026-02-16T13:16:23,715610694+02:00

Example 2

2026-02-16T13:23:03,459507653+02:00

@Soupstraw Soupstraw force-pushed the jj/validator-trace branch 3 times, most recently from 329a2e6 to 9e2675c Compare February 16, 2026 11:03
@Soupstraw Soupstraw changed the title Jj/validator trace Improve error messages Feb 16, 2026
@Soupstraw Soupstraw force-pushed the jj/validator-trace branch 2 times, most recently from f64a179 to 9e65ce6 Compare February 16, 2026 11:54
@Soupstraw Soupstraw marked this pull request as ready for review February 16, 2026 12:01
@Soupstraw Soupstraw requested review from Copilot, lehins, neilmayhew and teodanciu and removed request for Copilot February 16, 2026 12:52
Copy link
Copy Markdown
Member

@lehins lehins left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thank you!
Could you please tidy up the git commit history, just a little bit. There is "WIP" an "minor fixes" maybe some more that you will spot.

Comment thread test/Test/Codec/CBOR/Cuddle/CDDL/Validator/Golden.hs
@Soupstraw Soupstraw force-pushed the jj/validator-trace branch 2 times, most recently from 14b809b to 4b274e7 Compare February 23, 2026 14:25
@Soupstraw Soupstraw merged commit bb822fa into master Feb 23, 2026
9 of 10 checks passed
@Soupstraw Soupstraw deleted the jj/validator-trace branch February 23, 2026 14:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants