TH d-QuasiQuoter should defer "accompanying binding" checks
I want to write something like:
$(generateExtras [d| myFunc :: T |] (\(~[myFunc']) -> [d| myFunc = ... $(myFunc') ... |]))
myFunc' from the type-signature of
myFunc, and passes it to be used in the RHS of the definition of
myFunc. However the above code causes GHC to complain about "type signature for 'myFunc' lacks an accompanying binding".
OTOH, writing the
Q Dec instance manually works:
$(generateExtras (pure <$> sigD (mkName "myFunc") [t| Int |]) (\(~[myFunc']) -> [d| myFunc = ... $(myFunc') ... |]))
so it seems reasonable that the
[d|..|] quasi-quoted version should also succeed.
(Actually, as an aside, in case this was a X-Y problem, ideally I'd write something like the following:
$(generateExtras $ \(~[myFunc']) -> [d| myFunc :: T myFunc = ... $(myFunc') ...
but even using the
MonadFix instance from #12073 (closed) and being very careful in the implementation of
generateExtras not to pattern-match on the RHS of any non-
SigD declarations, causes an infinite loop during compilation. :()