Allow GLib.TypeModule child classes to be parameters in [ModuleInit]
For now, only TypeModule instances allowed. But when I try to write GIO extension, I am required to use function g_io_module_load(GIOModule* module)
, in Vala it mistakenly interpreted as public void GLib.IOModule.load()
method of GLib.IOModule.
Expected behaviour: This should be build fine:
[ModuleInit]
public void g_io_module_load(GLib.IOModule module)
{
module.use();
GLib.IOExtensionPoint.implement(ValaPanel.Applet.EXTENSION_POINT,typeof(SepApplet),"separator",10);
}
Actual behaviour: I see error when try to compile this snippet.
vala-panel/applets/core/separator/separator.vala:70.1-70.28: error: [ModuleInit] requires a parameter of type `GLib.TypeModule'
public void g_io_module_load(GLib.IOModule module)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Compilation failed: 1 error(s), 0 warning(s)
Edited by Konstantin