git.iko.soy/Idris-dev
on master help sign in
fix typo (AF_INET4 -> AF_INET6)
de2011fJan Doms
libs/base/Network/Socket.idr+1−1
compare with master
unifiedsplit
@@ -31,7 +31,7 @@ data SocketFamily =
31instance Show SocketFamily where
31instance Show SocketFamily where
32 show AF_UNSPEC = "AF_UNSPEC"
32 show AF_UNSPEC = "AF_UNSPEC"
33 show AF_INET = "AF_INET"
33 show AF_INET = "AF_INET"
34− show AF_INET6 = "AF_INET4"
34+ show AF_INET6 = "AF_INET6"
35
35
36instance ToCode SocketFamily where
36instance ToCode SocketFamily where
37 toCode AF_UNSPEC = 0
37 toCode AF_UNSPEC = 0