git.iko.soy/Idris-dev
on master help sign in
Missing header in Socket.idr
2cf2f31Edwin Brady
libs/contrib/Network/Socket.idr+1
compare with master
unifiedsplit
@@ -10,6 +10,7 @@ import Network.Socket.Raw
10%include C "idris_net.h"
10%include C "idris_net.h"
11%include C "sys/types.h"
11%include C "sys/types.h"
12%include C "sys/socket.h"
12%include C "sys/socket.h"
13+%include C "unistd.h"
13%include C "netdb.h"
14%include C "netdb.h"
14
15
15%access export
16%access export