[seed] Fix Bug #610533 - Support void* pointers

[Alan Knowles <alank src gnome org>]

commit fb55efd88b03fd51510232e505233c309a16146e
Author: Alan Knowles <alan akbkhome com>
Date:   Sun Feb 21 11:32:35 2010 +0800

    Fix Bug #610533 - Support void* pointers
    
    Gio.outputstream.write() uses void* pointers to write generic data.

 libseed/seed-types.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/libseed/seed-types.c b/libseed/seed-types.c
index 67060be..be763f2 100644
--- a/libseed/seed-types.c
+++ b/libseed/seed-types.c
@@ -466,6 +466,10 @@ seed_gi_make_argument (JSContextRef ctx,
   switch (gi_tag)
     {
     case GI_TYPE_TAG_VOID:
+      // things like gio.outputstream.write use void pointers
+      if (g_type_info_is_pointer (type_info))
+          arg->v_string = seed_value_to_string (ctx, value, exception);
+
       break;
     case GI_TYPE_TAG_BOOLEAN:
       arg->v_boolean = seed_value_to_boolean (ctx, value, exception);