Skip to content

Conversation

@divarvel
Copy link
Contributor

@divarvel divarvel commented Dec 1, 2024

@divarvel divarvel force-pushed the biscuit-3-3 branch 2 times, most recently from d0e8887 to c1df21f Compare March 27, 2025 15:55
@dbaynard
Copy link

dbaynard commented Jun 8, 2025

@divarvel I'd love to chat about biscuit-haskell — ping me (same username) on zurihac discord?

@divarvel
Copy link
Contributor Author

divarvel commented Jun 8, 2025

I've pinged you on discord 👍

divarvel added 4 commits June 24, 2025 16:33
- try parsing the authorizer only when the test case is processed, not before
- read new elements from the JSON samples file
- remove the helper for generating samples
- strict equality is now ===
- sets now use {}
@divarvel divarvel marked this pull request as ready for review June 24, 2025 14:34
divarvel and others added 7 commits June 24, 2025 17:22
TODO:

- sealed biscuits
- check datalog block versions for pre-serialized blocks
(both have been implemented at the same time because the `null` sample depended on the lenient equal comparisons)
samples have been structured to be implemented one by one,
and the closures sample is meant to be handled before implementing maps and lists.
@divarvel
Copy link
Contributor Author

Regarding the last item in the todo-list: signature-based seals have not changed in the last spec release, so there is nothing specific to do.

support for sealed biscuits might be removed from biscuit-haskell altogether at some point, since they are not used and are a remnant of previous biscuit versions.

@divarvel divarvel merged commit dc57a4d into main Jun 24, 2025
5 checks passed
@divarvel divarvel deleted the biscuit-3-3 branch June 24, 2025 16:08
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.

Implement nullability Implement .type() function Implement heterogeneous equality Implement reject if Implement lazy boolean operators

3 participants