The Template Haskell directive context petscCtx (immediately after the module imports), which imports the type mapping from Internal.hs, nowadays makes flycheck turn off in InlineC.
I don't understand why this happens since it all compiles correctly.
The problem I face is that developing new inline-c signatures becomes a much trickier affair with no assistance.
I've opened branch split-inline-c to investigate this
The Template Haskell directive
context petscCtx
(immediately after the module imports), which imports the type mapping fromInternal.hs
, nowadays makes flycheck turn off in InlineC.I don't understand why this happens since it all compiles correctly.
The problem I face is that developing new inline-c signatures becomes a much trickier affair with no assistance.
I've opened branch
split-inline-c
to investigate this