Unbreak windows build of idris_net.c

rts/idris_net.c

@@ -2,6 +2,16 @@
 // (C) Simon Fowler, 2014
 // MIT Licensed. Have fun!
 #include "idris_net.h"
+#include <errno.h>
+#include <netdb.h>
+#include <stdbool.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <string.h>
+#include <sys/types.h>
+#include <sys/socket.h>
+#include <netinet/in.h>
+#include <arpa/inet.h>
 
 void buf_htonl(void* buf, int len) {
     int* buf_i = (int*) buf;

rts/idris_net.h

@@ -1,16 +1,8 @@
 #ifndef IDRISNET_H
 #define IDRISNET_H
 
-#include <errno.h>
-#include <netdb.h>
-#include <stdbool.h>
-#include <stdlib.h>
-#include <stdio.h>
-#include <string.h>
-#include <sys/types.h>
-#include <sys/socket.h>
-#include <netinet/in.h>
-#include <arpa/inet.h>
+struct sockaddr_storage;
+struct addrinfo;
 
 typedef struct idrnet_recv_result {
     int result;

rts/windows/idris_net.c

@@ -177,7 +177,7 @@ int idrnet_get_recv_res(void* res_struct) {
     return (((idrnet_recv_result*) res_struct)->result);
 }
 
-void* idrnet_get_recv_payload(void* res_struct) {
+char* idrnet_get_recv_payload(void* res_struct) {
     return (((idrnet_recv_result*) res_struct)->payload);
 }