Unified · Split
| @@ -72,7 +72,7 @@ export type WsRpcProtocolClient = · 71 unmodified lines | |||
| 72 | export type WsRpcProtocolSocketUrlProvider = string | (() => Promise<string>); | 72 | export type WsRpcProtocolSocketUrlProvider = string | (() => Promise<string>); |
| 73 | 73 | ||
| 74 | const decodeRpcPongMessage = Schema.decodeUnknownOption( | 74 | const decodeRpcPongMessage = Schema.decodeUnknownOption( |
| 75 | Schema.fromJsonString(Schema.Struct({ _tag: Schema.Literal("Pong") })), | 75 | Schema.fromJsonString(Schema.TaggedStruct("Pong", {})), |
| 76 | ); | 76 | ); |
| 77 | 77 | ||
| 78 | function formatSocketErrorMessage(error: unknown): string { | 78 | function formatSocketErrorMessage(error: unknown): string { |