Skip to content

Conversation

@dschrempf
Copy link
Collaborator

@dschrempf dschrempf commented Oct 7, 2025

We get a CI error: https://github.com/well-typed/hs-bindgen/actions/runs/18343147007/job/52243182474?pr=1192

anonymous declaration without tag kind: (unnamed at /usr/include/x86_64-linux-gnu/bits/cmathcalls.h:130:1)

I can not reproduce the error locally, I think because I am using a newer version of LLVM.

Will close

Finally, this PR is ready for discussion:

  • CI failure (not reproducible locally, LLVM version?): Conversion to QualPrelimDeclId fails. -> Moved to separate issue Investigate CI issue with LLVM 15 and anonymous declarations of ordinary type #1220.
  • Similarly: Panic due to anonymous declaration without use site in Select pass.
  • Do we want to check for unavailableTransitiveDeps?
  • DeclIndex: Assembly is complicated.
  • DeclIndex: For failures, we do not overwrite existing, previously inserted key-value pairs.
  • Binding specifications: Should we also lookup failed parses?
  • Binding specifications: We still emit (Error?) traces when replacing declarations.

EDIT: This PR does not yet solve #1037, there is more work to do (we have to find declarations that we fail to generate bindings for because transitive dependencies are unavailable).

@dschrempf
Copy link
Collaborator Author

This PR will be parked for a while, see #1028 (comment).

@dschrempf dschrempf force-pushed the dom/1028/parse-status branch 7 times, most recently from b05fd3f to a0cdb07 Compare October 15, 2025 07:36
@dschrempf dschrempf force-pushed the dom/1028/parse-status branch from 0b69468 to a59ef7e Compare October 17, 2025 08:48
@dschrempf dschrempf force-pushed the dom/1028/parse-status branch from a59ef7e to 29cdd25 Compare October 17, 2025 08:48
@dschrempf
Copy link
Collaborator Author

In agreement with Edsko, I am putting this on the queue. Two issues are still unresolved:

@dschrempf dschrempf enabled auto-merge October 17, 2025 09:12
@dschrempf dschrempf force-pushed the dom/1028/parse-status branch from 47434e7 to cbbe2ac Compare October 17, 2025 09:28
@dschrempf dschrempf added this pull request to the merge queue Oct 17, 2025
Merged via the queue into main with commit 4ee813f Oct 17, 2025
16 checks passed
@dschrempf dschrempf deleted the dom/1028/parse-status branch October 17, 2025 09:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants