Merge pull request #1317 from melted/net_fix
Unbreak windows build of idris_net.c
commit76f8684ae916cba3e87446a9606c205d85c68fab
authorDavid Christiansen <david@davidchristiansen.dk>
dateFri 20 Jun 2014, 16:48 (12 years ago)
parentae701544feaf8f
rts/idris_net.c+10
@@ -2,6 +2,16 @@
22// (C) Simon Fowler, 2014
33// MIT Licensed. Have fun!
44#include "idris_net.h"
5+#include <errno.h>
6+#include <netdb.h>
7+#include <stdbool.h>
8+#include <stdlib.h>
9+#include <stdio.h>
10+#include <string.h>
11+#include <sys/types.h>
12+#include <sys/socket.h>
13+#include <netinet/in.h>
14+#include <arpa/inet.h>
515
616void buf_htonl(void* buf, int len) {
717 int* buf_i = (int*) buf;
rts/idris_net.h+2−10
@@ -1,16 +1,8 @@
11#ifndef IDRISNET_H
22#define IDRISNET_H
33
4−#include <errno.h>
5−#include <netdb.h>
6−#include <stdbool.h>
7−#include <stdlib.h>
8−#include <stdio.h>
9−#include <string.h>
10−#include <sys/types.h>
11−#include <sys/socket.h>
12−#include <netinet/in.h>
13−#include <arpa/inet.h>
4+struct sockaddr_storage;
5+struct addrinfo;
146
157typedef struct idrnet_recv_result {
168 int result;
rts/windows/idris_net.c+1−1
@@ -177,7 +177,7 @@ int idrnet_get_recv_res(void* res_struct) {
177177 return (((idrnet_recv_result*) res_struct)->result);
178178}
179179
180−void* idrnet_get_recv_payload(void* res_struct) {
180+char* idrnet_get_recv_payload(void* res_struct) {
181181 return (((idrnet_recv_result*) res_struct)->payload);
182182}
183183