fpco / inline-c

284 stars 51 forks source link

`Language.C.Inline.Interruptible.block` produces an `unsafe` FFI call #137

Closed jasagredo closed 2 years ago

jasagredo commented 2 years ago

The QuasiQuoter is creating an Unsafe declaration:

block :: TH.QuasiQuoter
block = genericQuote IO $ inlineItems TH.Unsafe False Nothing

It should either create an interruptible call or if this is intentional might deserve a comment explaining why.

bitonic commented 2 years ago

You're absolutely right, this is a bug. I'll fix later today.