Hello,

I am experimenting with betterC and Vulkan through Erupted [0] binding, but unfortunately I find myself hunting down these kind of errors:
 ..\ErupteD\source\erupted\types.d-mixin-77(77,1): Error: `TypeInfo` cannot be used with -betterC

The issue is with Vulkan type handles. One such error occurs when a function's parameter list contains an optional slice of such handles, e.g.:

void queueSubmit(
    VkQueue                queue,
    VkCommandBuffer[]      command_buffers,
    VkSemaphore[]          wait_semaphores         = [],  // error: TypeInfo required
    VkPipelineStageFlags[] wait_dest_stage_masks   = [],  // ok, not a handle
    VkSemaphore[]          signal_semaphores       = []   // error: TypeInfo required
)  { .. }


A possible workaround which I found is:
    VkSemaphore[] wait_semaphores = ( const VkSemaphore[] ).init,

but this feels more like fighting a symptom instead of getting rid of the cause.
I am wondering if there is a better way to translate these C typedefs to D:

// from vulkan_core.h [1]
// ...

#define VK_DEFINE_HANDLE(object) typedef struct object##_T* object;

#if !defined(VK_DEFINE_NON_DISPATCHABLE_HANDLE)
#if defined(__LP64__) || defined(_WIN64) || (defined(__x86_64__) && !defined(__ILP32__) ) || defined(_M_X64) || defined(__ia64) || defined (_M_IA64) || defined(__aarch64__) || defined(__powerpc64__)
        #define VK_DEFINE_NON_DISPATCHABLE_HANDLE(object) typedef struct object##_T *object;
#else
        #define VK_DEFINE_NON_DISPATCHABLE_HANDLE(object) typedef uint64_t object;
#endif
#endif

// ...
VK_DEFINE_HANDLE(VkQueue)
VK_DEFINE_NON_DISPATCHABLE_HANDLE(VkSemaphore)
// ...


Correspondingly to the C typedefs:

// from erupted/types.d [2]
// ...

enum VK_DEFINE_HANDLE( string name ) = "struct " ~ name ~ "_handle; alias " ~ name ~ " = " ~ name ~ "_handle*;";

version( X86_64 ) {
    alias VK_DEFINE_NON_DISPATCHABLE_HANDLE( string name ) = VK_DEFINE_HANDLE!name;
    enum VK_NULL_ND_HANDLE = null;
} else {
    enum VK_DEFINE_NON_DISPATCHABLE_HANDLE( string name ) = "alias " ~ name ~ " = ulong;";
    enum VK_NULL_ND_HANDLE = 0uL;
}

// ...
mixin( VK_DEFINE_HANDLE!q{VkQueue} );
mixin( VK_DEFINE_NON_DISPATCHABLE_HANDLE!q{VkSemaphore} );
// ...


I am running building for x64, would anyone know a smoother betterC approach to these typedefs?


[0] https://github.com/ParticlePeter/ErupteD
[1] https://github.com/KhronosGroup/Vulkan-Headers/blob/master/include/vulkan/vulkan_core.h
[2] https://github.com/ParticlePeter/ErupteD/blob/master/source/erupted/types.d

On Sunday, 20 December 2020 at 15:45:59 UTC, ParticlePeter wrote:
>     VkSemaphore[]          wait_semaphores         = [],  // error: TypeInfo required

does it still error if you just use = null? they work the same way but might avoid the annoying error.

On Sunday, 20 December 2020 at 15:52:39 UTC, Adam D. Ruppe wrote:
> On Sunday, 20 December 2020 at 15:45:59 UTC, ParticlePeter wrote:
>>     VkSemaphore[]          wait_semaphores         = [],  // error: TypeInfo required
>
> does it still error if you just use = null? they work the same way but might avoid the annoying error.

Wow, it does, that was unexpected and unexpectedly hassle free, thanks a lot :-)

[snip]

Forgot to add another question. The mentioned error message is not too helpful in locating the real offended code. Is there a way to get more information or additional hints about the actual cause of the problem?