Missing header in Socket.idr
unistd.h is needed for 'close' otherwise socket programs give warnings
when compiling
commit2cf2f31182856bba0229819c18c9c95a6f639dbc
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 12 Apr 2017, 10:57 (10 years ago)
parent1eb6d2c
libs/contrib/Network/Socket.idr+1
@@ -10,6 +10,7 @@ import Network.Socket.Raw
1010%include C "idris_net.h"
1111%include C "sys/types.h"
1212%include C "sys/socket.h"
13+%include C "unistd.h"
1314%include C "netdb.h"
1415
1516%access export