How to implement the debug callback in FSharp?

[deanjl]

Hi,

The sample code uses the attribute UnmanagedCallersOnly in order to expose DebugMessengerCallback to the listener.

Unfortunately, this attribute is not supported by the FSharp Compiler.

I would like to know if there is a way to implement the debug callback in FSharp?

Cheers!
Dean.

[deanjl]

Update

Actually, it shouldn't be an issue. It turns out that UnmanagedCallersOnly can be used in FSharp, but the compiler issues a misleading warning that it doesn't work:

dotnet/samples#5647 (comment)

So I'll mark this as answered and update the discussion if any complications arise.

[deanjl]

I unfortunately need to reopen this question as other obstacles have emerged.

When I attempt to construct the create info for the messenger I get the following exception:

System.MissingFieldException: 'Field not found: 'Vortice.Vulkan.VkDebugUtilsMessengerCreateInfoEXT.pfnUserCallback'.'

This happens whenever I so much as type out pfnUserCallback, whether I pass a value to it or not. It looks like there might be some sort of mismatch in the wrapper somewhere?