Compare commits

...

1 Commits

Author SHA1 Message Date
George Thomas
5aa0cdc38d try using record dots with TH 2026-02-20 09:09:12 +00:00
2 changed files with 7 additions and 3 deletions

View File

@ -5,10 +5,10 @@ packages: .
-- so we specify the equivalent commit SHAs manually instead
source-repository-package
type: git
location: https://github.com/well-typed/hs-bindgen
tag: e2a9260678d9fa76dab602a5a07927acada3be4f
location: https://github.com/georgefst/hs-bindgen
tag: 3693360bcd1f8478932c4944c70baca7c4ecf950
subdir: c-expr-dsl c-expr-runtime hs-bindgen hs-bindgen-runtime
--sha256: 0nrs3iq0l5ha5kxyhqnlmvgi7734pmzyp3zf7p8s1gb21ylh4sy0
--sha256: lV2FwS80iHhJU6iie/F24W4dYV+vvmeTu6465NLnOb4=
source-repository-package
type: git
location: https://github.com/well-typed/libclang

View File

@ -1,6 +1,7 @@
{-# LANGUAGE CApiFFI #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FieldSelectors #-}
-- {-# LANGUAGE NoFieldSelectors #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE TemplateHaskell #-}
@ -41,6 +42,9 @@ do
withHsBindgen
def
{ clang = def{extraIncludeDirs = Pkg "rust" : systemDirs}
-- hmm, I guess there's a reason this wasn't exported
-- , fieldNamingStrategy = EnableRecordDot
, fieldNamingStrategy = PrefixedFieldNames
}
def
$ hashInclude "garnet_rs.h"