@@ -23,7 +23,7 @@ actor MyApp is (SessionStatusNotify & ResultReceiver)
2323 if RespConvert.is_ok(response) then
2424 session.execute(RedisString.get("key"), this)
2525 else
26- match \exhaustive\ RespConvert.as_string(response)
26+ match RespConvert.as_string(response)
2727 | let value: String => // use value
2828 None
2929 end
@@ -133,7 +133,7 @@ actor MyApp is (SessionStatusNotify & ResultReceiver)
133133 be redis_command_failed(session: Session,
134134 command: Array[ByteSeq] val, failure: ClientError)
135135 =>
136- match \exhaustive\ failure
136+ match failure
137137 | SessionBackpressureOverflow =>
138138 // Buffer full — stop sending until unthrottled.
139139 None
@@ -227,13 +227,13 @@ For commands not covered by the builders, construct the array directly:
227227if RespConvert.is_ok(response) then ... end
228228
229229// Extract a string (from simple string, bulk string, or verbatim string)
230- match \exhaustive\ RespConvert.as_string(response)
230+ match RespConvert.as_string(response)
231231| let value: String => // use value
232232| RespNull => // key did not exist
233233end
234234
235235// Extract an error message (from RespError or RespBulkError)
236- match \exhaustive\ RespConvert.as_error(response)
236+ match RespConvert.as_error(response)
237237| let msg: String => // handle error
238238end
239239```
0 commit comments