Commit ff689454 authored by Mart Lubbers's avatar Mart Lubbers

system._socket remove superfluous class constraint on coerce function

parent 2a2ef66e
......@@ -18,7 +18,7 @@ socket type w
where
msa = sa_null
coerce :: *(Socket sa) sa -> *(Socket sa) | SocketAddress sa
coerce :: *(Socket sa) sa -> *(Socket sa)
coerce x y = x
socket` :: !Int !Int !Int !*env -> *(!*Int, !*env)
......
......@@ -143,7 +143,7 @@ socket type w
where
msa = sa_null
coerce :: *(Socket sa) sa -> *Socket sa | SocketAddress sa
coerce :: *(Socket sa) sa -> *Socket sa
coerce x y = x
socket` :: !Int !Int !Int !*env -> *(!*Int, !*env)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment