patrickaldis/garnet
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Compare commits

base: patrickaldis:5d2ba1a217acc6c4e22fd17e19084515fc533778
Branches Tags
patrickaldis:main
patrickaldis:th-record-dot
..
compare: patrickaldis:2a80e5b219a0ad79cc7da02b802b0f248fd2fb62
Branches Tags
patrickaldis:main
patrickaldis:th-record-dot

5 Commits
5d2ba1a217 ... 2a80e5b219

Author SHA1 Message Date
George Thomas
2a80e5b219 Minor simplification 2026-02-19 17:22:15 +00:00
George Thomas
e977181252 Avoid typedefs 
This makes the header simpler, and silences `hs-bindgen` notices about "squashed" typedefs.
 2026-02-19 17:22:15 +00:00
George Thomas
9ca4f615d8 Use simpler tagged union translation 
Avoids the worst part of the header hack, and makes Haskell wrapper simpler.
 2026-02-19 17:22:15 +00:00
George Thomas
5019af701f Mark pure function 2026-02-19 17:22:15 +00:00
George Thomas
5907a064a7 Use fixed-width integers 
Even though `Int` and `isize` should be the same in practice, we can't cleanly convert, as the type information isn't quite there. And anyway, strictly speaking per the report, `Int` is only guaranteed to hold 30 bits.

Note that this is essentially unchanged even if we specify `usize_is_size_t = true` for `cbindgen`.
 2026-02-19 17:19:28 +00:00
Show Stats Expand all files Collapse all files

Diff Content Not Available