You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Mirror of cx-home/cx-private#773 (V-source mirror policy).
vlib/net/raw.c.v:88,:93 and vlib/net/udp.c.v:92,:97 return isize where the fn signatures say !int, and pass isize to socket_error(int). The checker only reaches these when a program's import graph forces full type-checking of net.raw/net.udp (repro: one V file importing both net and the cx platform module). Fix: explicit int conversions or widen the signatures; upstream-bundle candidate.
Note
You can use the 👍 reaction to increase the issue's priority for developers.
Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.
Mirror of cx-home/cx-private#773 (V-source mirror policy).
vlib/net/raw.c.v:88,:93 and vlib/net/udp.c.v:92,:97 return
isizewhere the fn signatures say!int, and passisizetosocket_error(int). The checker only reaches these when a program's import graph forces full type-checking of net.raw/net.udp (repro: one V file importing bothnetand the cxplatformmodule). Fix: explicit int conversions or widen the signatures; upstream-bundle candidate.Note
You can use the 👍 reaction to increase the issue's priority for developers.
Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.