georgefst/garnet
1
0
Fork 0
Code Issues Pull Requests 2 Actions Packages Projects Releases Wiki Activity
garnet/cabal.project

24 lines
834 B
Plaintext
Raw Permalink Normal View History

Move Haskell package to top level
2026-02-19 14:15:14 +00:00
packages: .
Initial
2026-02-17 14:57:34 +00:00
Bump `hs-bindgen` for record-dot support
2026-02-23 11:22:11 +00:00
-- not on Hackage yet: https://well-typed.com/blog/2026/02/hs-bindgen-alpha
-- we've modified the stanzas from that post in order to use a more recent version
-- because we want record-dot support: https://github.com/well-typed/hs-bindgen/issues/1829#issuecomment-4081875451
Expose explicit C interface We drop the tools specifically designed for Haskell and Rust together, in favour of general tools for using each with C. Namely, we use Mozilla's `cbindgen` for generating header files from the Rust source, and Well-Typed's new `hs-bindgen` tool for generating Haskell from those header files. The Rust code here is essentially the result of expanding the old macro, then inlining and renaming internals. The most important thing here is that we're now relying solely on robust well-maintained tools.
2026-02-19 11:08:20 +00:00
source-repository-package
type: git
location: https://github.com/well-typed/hs-bindgen
Bump `hs-bindgen` for record-dot support
2026-02-23 11:22:11 +00:00
tag: 6ca94188abd756a1fb4dd8a4037de3fa7dca0765
Switch to Template Haskell mode for `hs-bindgen`
2026-02-20 09:08:16 +00:00
subdir: c-expr-dsl c-expr-runtime hs-bindgen hs-bindgen-runtime
Bump `hs-bindgen` for record-dot support
2026-02-23 11:22:11 +00:00
--sha256: M+8tEZA8gsEc6gXnNdSbRpMBQ5LkH7sphcV1aR0fclA=
Expose explicit C interface We drop the tools specifically designed for Haskell and Rust together, in favour of general tools for using each with C. Namely, we use Mozilla's `cbindgen` for generating header files from the Rust source, and Well-Typed's new `hs-bindgen` tool for generating Haskell from those header files. The Rust code here is essentially the result of expanding the old macro, then inlining and renaming internals. The most important thing here is that we're now relying solely on robust well-maintained tools.
2026-02-19 11:08:20 +00:00
source-repository-package
type: git
location: https://github.com/well-typed/libclang
Bump `hs-bindgen` for record-dot support
2026-02-23 11:22:11 +00:00
tag: d6e482df49b88375cf3075928a78ee86c2a068d4
--sha256: 175kjba915bh50wf03gi88njz03jp0n3wp7yq73hznkaly6bpwal
Expose explicit C interface We drop the tools specifically designed for Haskell and Rust together, in favour of general tools for using each with C. Namely, we use Mozilla's `cbindgen` for generating header files from the Rust source, and Well-Typed's new `hs-bindgen` tool for generating Haskell from those header files. The Rust code here is essentially the result of expanding the old macro, then inlining and renaming internals. The most important thing here is that we're now relying solely on robust well-maintained tools.
2026-02-19 11:08:20 +00:00
Initial
2026-02-17 14:57:34 +00:00
allow-newer:
*:base,
*:containers,
*:template-haskell,
*:text,
*:time,
Reference in New Issue Copy Permalink