def read.fail
import bend-kit-postgres@0.3.0.0/postgres.bend as Postgresimport Base
import bend-kit-postgres@0.3.0.0/codec.bend as Codec
151def read.fail(tls: Bool, sock: Socket, why: Failure) -> IO(Result<&1, &1, Failure, Conn & Codec.Back>):
152 do IO<Result<&1, &1, Failure, Conn & Codec.Back>>:
153 io.close(tls, sock)
154 return Fail{why}