- FCallId (CCall (CCallSpec (StaticTarget nm) _ _)) -> C.External (unpackFS nm) (make_ty (idType v))
- FCallId _ -> error "MkExternalCore died: can't handle non-static-C foreign call"
+ FCallId (CCall (CCallSpec (StaticTarget nm) callconv _))
+ -> C.External (unpackFS nm) (showSDoc (ppr callconv)) (make_ty (idType v))
+ FCallId (CCall (CCallSpec DynamicTarget callconv _))
+ -> C.DynExternal (showSDoc (ppr callconv)) (make_ty (idType v))
+ FCallId _
+ -> pprPanic "MkExternalCore died: can't handle non-{static,dynamic}-C foreign call"
+ (ppr v)