Skip to content

Add CanonicalTerm, fix duplicate keys handling in map generator/validator#203

Merged
Soupstraw merged 10 commits into
masterfrom
jj/term-canonical-eq
Jun 17, 2026
Merged

Add CanonicalTerm, fix duplicate keys handling in map generator/validator#203
Soupstraw merged 10 commits into
masterfrom
jj/term-canonical-eq

Conversation

@Soupstraw

@Soupstraw Soupstraw commented May 25, 2026

Copy link
Copy Markdown
Contributor

This PR fixes issues with duplicate keys in maps. The validator now checks for duplicate keys in maps and generators will no longer produce duplicate keys. The CanonicalTerm type has been added to handle comparisons on CBOR data correctly.

@Soupstraw Soupstraw force-pushed the jj/term-canonical-eq branch from 18a0f37 to adc80cb Compare May 25, 2026 10:28
@Soupstraw Soupstraw changed the title Add CanonicalTerm, fix duplicate keys bug in map generator Add CanonicalTerm, fix duplicate keys handling in map generator/validator May 25, 2026
@Soupstraw Soupstraw force-pushed the jj/term-canonical-eq branch from 106adc3 to 3e6883d Compare May 25, 2026 11:14
@Soupstraw Soupstraw marked this pull request as draft May 25, 2026 11:18
@Soupstraw Soupstraw force-pushed the jj/term-canonical-eq branch 7 times, most recently from 0b921d2 to b0c8837 Compare May 25, 2026 13:13
@Soupstraw Soupstraw marked this pull request as ready for review May 25, 2026 13:17
@Soupstraw Soupstraw force-pushed the jj/term-canonical-eq branch from b0c8837 to 83c7b45 Compare May 25, 2026 13:19
@Soupstraw Soupstraw requested a review from lehins May 25, 2026 13:22
@Soupstraw Soupstraw force-pushed the jj/term-canonical-eq branch 5 times, most recently from 1c29f4c to b8e0229 Compare May 26, 2026 10:07

@neilmayhew neilmayhew left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Nice work!

Comment thread src/Codec/CBOR/Cuddle/CBOR/Canonical.hs Outdated
Comment thread src/Codec/CBOR/Cuddle/CBOR/Gen.hs Outdated
Comment thread src/Codec/CBOR/Cuddle/CBOR/Canonical.hs Outdated
Comment thread src/Codec/CBOR/Cuddle/CBOR/Validator.hs Outdated
Comment thread test/Test/Codec/CBOR/Cuddle/CBOR/Canonical.hs Outdated
@Soupstraw Soupstraw force-pushed the jj/term-canonical-eq branch from b8e0229 to b2dc97a Compare June 17, 2026 10:44
@Soupstraw Soupstraw merged commit 3210741 into master Jun 17, 2026
11 checks passed
@Soupstraw Soupstraw deleted the jj/term-canonical-eq branch June 17, 2026 12:18
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