Add \exhaustive\ annotation to exhaustive match blocks

examples/bytea/bytea-example.pony

@@ -46,13 +46,13 @@ actor Client is (SessionStatusNotify & ResultReceiver)
     _out.print("Failed to authenticate.")
 
   be pg_query_result(session: Session, result: Result) =>
-    match result
+    match \exhaustive\ result
     | let r: ResultSet =>
       _out.print("ResultSet (" + r.rows().size().string() + " rows):")
       for row in r.rows().values() do
         for field in row.fields.values() do
           _out.write(field.name + "=")
-          match field.value
+          match \exhaustive\ field.value
           | let v: Array[U8] val =>
             _out.print(v.size().string() + " bytes")
             // Print each byte's decimal value

examples/cancel/cancel-example.pony

@@ -48,7 +48,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let err: ErrorResponseMessage =>
       if err.code == "57014" then
         _out.print("Query was cancelled (SQLSTATE 57014).")

examples/copy-in/copy-in-example.pony

@@ -73,7 +73,7 @@ actor Client is (SessionStatusNotify & ResultReceiver & CopyInReceiver)
   be pg_copy_failed(session: Session,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("COPY failed: [" + e.severity + "] " + e.code + ": "
         + e.message)
@@ -85,7 +85,7 @@ actor Client is (SessionStatusNotify & ResultReceiver & CopyInReceiver)
   be pg_query_result(session: Session, result: Result) =>
     _phase = _phase + 1
 
-    match _phase
+    match \exhaustive\ _phase
     | 1 =>
       // Table dropped (or didn't exist). Create it.
       _out.print("Creating table...")
@@ -105,14 +105,14 @@ actor Client is (SessionStatusNotify & ResultReceiver & CopyInReceiver)
         "COPY copy_in_example (name, value) FROM STDIN", this)
     | 3 =>
       // SELECT done. Print results and drop table.
-      match result
+      match \exhaustive\ result
       | let r: ResultSet =>
         _out.print("ResultSet (" + r.rows().size().string() + " rows):")
         for row in r.rows().values() do
           _out.write(" ")
           for field in row.fields.values() do
             _out.write(" " + field.name + "=")
-            match field.value
+            match \exhaustive\ field.value
             | let v: String => _out.write(v)
             | let v: I32 => _out.write(v.string())
             | None => _out.write("NULL")
@@ -133,7 +133,7 @@ actor Client is (SessionStatusNotify & ResultReceiver & CopyInReceiver)
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

examples/copy-out/copy-out-example.pony

@@ -64,7 +64,7 @@ actor Client is (SessionStatusNotify & ResultReceiver & CopyOutReceiver)
   be pg_copy_failed(session: Session,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("COPY failed: [" + e.severity + "] " + e.code + ": "
         + e.message)
@@ -76,7 +76,7 @@ actor Client is (SessionStatusNotify & ResultReceiver & CopyOutReceiver)
   be pg_query_result(session: Session, result: Result) =>
     _phase = _phase + 1
 
-    match _phase
+    match \exhaustive\ _phase
     | 1 =>
       // Table dropped (or didn't exist). Create it.
       _out.print("Creating table...")
@@ -111,7 +111,7 @@ actor Client is (SessionStatusNotify & ResultReceiver & CopyOutReceiver)
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

examples/crud/crud-example.pony

@@ -48,7 +48,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_result(session: Session, result: Result) =>
     _phase = _phase + 1
 
-    match _phase
+    match \exhaustive\ _phase
     | 1 =>
       // Table dropped (or didn't exist). Create it.
       _out.print("Creating table...")
@@ -89,14 +89,14 @@ actor Client is (SessionStatusNotify & ResultReceiver)
         this)
     | 5 =>
       // Select done. Print results and delete all rows.
-      match result
+      match \exhaustive\ result
       | let r: ResultSet =>
         _out.print("ResultSet (" + r.rows().size().string() + " rows):")
         for row in r.rows().values() do
           _out.write(" ")
           for field in row.fields.values() do
             _out.write(" " + field.name + "=")
-            match field.value
+            match \exhaustive\ field.value
             | let v: String => _out.write(v)
             | let v: I16 => _out.write(v.string())
             | let v: I32 => _out.write(v.string())
@@ -128,15 +128,15 @@ actor Client is (SessionStatusNotify & ResultReceiver)
     end
 
   fun _print_row_modifying(result: Result) =>
-    match result
+    match \exhaustive\ result
     | let r: RowModifying =>
       _out.print(r.command() + " " + r.impacted().string() + " rows")
     end
 
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

examples/listen-notify/listen-notify-example.pony

@@ -50,7 +50,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_result(session: Session, result: Result) =>
     _phase = _phase + 1
 
-    match _phase
+    match \exhaustive\ _phase
     | 1 =>
       // LISTEN done, send notification
       _out.print("Subscribed. Sending notification...")
@@ -69,7 +69,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

examples/named-prepared-query/named-prepared-query-example.pony

@@ -59,13 +59,13 @@ actor Client is (SessionStatusNotify & ResultReceiver & PrepareReceiver)
     close()
 
   be pg_query_result(session: Session, result: Result) =>
-    match result
+    match \exhaustive\ result
     | let r: ResultSet =>
       _out.print("ResultSet (" + r.rows().size().string() + " rows):")
       for row in r.rows().values() do
         for field in row.fields.values() do
           _out.write("  " + field.name + "=")
-          match field.value
+          match \exhaustive\ field.value
           | let v: String => _out.print(v)
           | let v: I16 => _out.print(v.string())
           | let v: I32 => _out.print(v.string())

examples/notice/notice-example.pony

@@ -55,7 +55,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

examples/parameter-status/parameter-status-example.pony

@@ -52,7 +52,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

examples/prepared-query/prepared-query-example.pony

@@ -44,13 +44,13 @@ actor Client is (SessionStatusNotify & ResultReceiver)
     _out.print("Failed to authenticate.")
 
   be pg_query_result(session: Session, result: Result) =>
-    match result
+    match \exhaustive\ result
     | let r: ResultSet =>
       _out.print("ResultSet (" + r.rows().size().string() + " rows):")
       for row in r.rows().values() do
         for field in row.fields.values() do
           _out.write("  " + field.name + "=")
-          match field.value
+          match \exhaustive\ field.value
           | let v: String => _out.print(v)
           | let v: I16 => _out.print(v.string())
           | let v: I32 => _out.print(v.string())

examples/query/query-example.pony

@@ -39,13 +39,13 @@ actor Client is (SessionStatusNotify & ResultReceiver)
     _out.print("Failed to authenticate.")
 
   be pg_query_result(session: Session, result: Result) =>
-    match result
+    match \exhaustive\ result
     | let r: ResultSet =>
       _out.print("ResultSet (" + r.rows().size().string() + " rows):")
       for row in r.rows().values() do
         for field in row.fields.values() do
           _out.write(field.name + "=")
-          match field.value
+          match \exhaustive\ field.value
           | let v: String => _out.print(v)
           | let v: I16 => _out.print(v.string())
           | let v: I32 => _out.print(v.string())

examples/ssl-preferred-query/ssl-preferred-query-example.pony

@@ -68,13 +68,13 @@ actor Client is (SessionStatusNotify & ResultReceiver)
     _out.print("Failed to authenticate.")
 
   be pg_query_result(session: Session, result: Result) =>
-    match result
+    match \exhaustive\ result
     | let r: ResultSet =>
       _out.print("ResultSet (" + r.rows().size().string() + " rows):")
       for row in r.rows().values() do
         for field in row.fields.values() do
           _out.write(field.name + "=")
-          match field.value
+          match \exhaustive\ field.value
           | let v: String => _out.print(v)
           | let v: I16 => _out.print(v.string())
           | let v: I32 => _out.print(v.string())

examples/ssl-query/ssl-query-example.pony

@@ -63,13 +63,13 @@ actor Client is (SessionStatusNotify & ResultReceiver)
     _out.print("Failed to authenticate.")
 
   be pg_query_result(session: Session, result: Result) =>
-    match result
+    match \exhaustive\ result
     | let r: ResultSet =>
       _out.print("ResultSet (" + r.rows().size().string() + " rows):")
       for row in r.rows().values() do
         for field in row.fields.values() do
           _out.write(field.name + "=")
-          match field.value
+          match \exhaustive\ field.value
           | let v: String => _out.print(v)
           | let v: I16 => _out.print(v.string())
           | let v: I32 => _out.print(v.string())

examples/streaming/streaming-example.pony

@@ -86,7 +86,7 @@ actor Client is
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)
@@ -101,7 +101,7 @@ actor Client is
       _out.write("   ")
       for field in row.fields.values() do
         _out.write(" " + field.name + "=")
-        match field.value
+        match \exhaustive\ field.value
         | let v: String => _out.write(v)
         | let v: I32 => _out.write(v.string())
         | None => _out.write("NULL")
@@ -122,7 +122,7 @@ actor Client is
     query: (PreparedQuery | NamedPreparedQuery),
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Stream failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

examples/transaction-status/transaction-status-example.pony

@@ -41,7 +41,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
     _out.print("Failed to authenticate.")
 
   be pg_transaction_status(session: Session, status: TransactionStatus) =>
-    match status
+    match \exhaustive\ status
     | TransactionIdle => _out.print("Transaction status: idle")
     | TransactionInBlock => _out.print("Transaction status: in transaction")
     | TransactionFailed => _out.print("Transaction status: failed")
@@ -50,7 +50,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_result(session: Session, result: Result) =>
     _phase = _phase + 1
 
-    match _phase
+    match \exhaustive\ _phase
     | 1 =>
       // BEGIN done. Commit to return to idle.
       _session.execute(SimpleQuery("COMMIT"), this)
@@ -63,7 +63,7 @@ actor Client is (SessionStatusNotify & ResultReceiver)
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _out.print("Query failed: [" + e.severity + "] " + e.code + ": "
         + e.message)

postgres/_authentication_failure_reason.pony

@@ -18,7 +18,7 @@ primitive InvalidPassword
 
 primitive ServerVerificationFailed
   """
-  The server's SCRAM signature did not match the expected value. This may
+  The server's SCRAM signature did not match \exhaustive\ the expected value. This may
   indicate a man-in-the-middle attack or a misconfigured server.
   """
 

postgres/_cancel_sender.pony

@@ -32,7 +32,7 @@ actor _CancelSender is (lori.TCPConnectionActor & lori.ClientLifecycleEventRecei
     _tcp_connection
 
   fun ref _on_connected() =>
-    match _info.ssl_mode
+    match \exhaustive\ _info.ssl_mode
     | SSLDisabled =>
       _send_cancel_and_close()
     | let _: (SSLRequired | SSLPreferred) =>
@@ -52,7 +52,7 @@ actor _CancelSender is (lori.TCPConnectionActor & lori.ClientLifecycleEventRecei
           _tcp_connection.close()
           return
         end
-        match _tcp_connection.start_tls(ctx, _info.host)
+        match \exhaustive\ _tcp_connection.start_tls(ctx, _info.host)
         | None => None  // Handshake started, wait for _on_tls_ready
         | let _: lori.StartTLSError =>
           _tcp_connection.close()

postgres/_frontend_message.pony

@@ -182,7 +182,7 @@ primitive _FrontendMessage
         end
         offset = offset + 2
         for p in params.values() do
-          match p
+          match \exhaustive\ p
           | let s: String =>
             ifdef bigendian then
               msg.update_u32(offset, s.size().u32())?

postgres/_test_cancel.pony

@@ -317,7 +317,7 @@ actor \nodoc\ _SSLCancelTestServer
         // SSLRequest — respond 'S' and upgrade to TLS
         let response: Array[U8] val = ['S']
         _tcp_connection.send(response)
-        match _tcp_connection.start_tls(_sslctx)
+        match \exhaustive\ _tcp_connection.start_tls(_sslctx)
         | None => _ssl_started = true
         | let _: lori.StartTLSError =>
           _tcp_connection.close()
@@ -450,7 +450,7 @@ actor \nodoc\ _CancelPgSleepClient is
       return
     end
 
-    match failure
+    match \exhaustive\ failure
     | let err: ErrorResponseMessage =>
       if err.code == "57014" then
         _h.complete(true)

postgres/_test_copy_out.pony

@@ -776,7 +776,7 @@ actor \nodoc\ _CopyOutExportTestClient is
   be pg_query_failed(session: Session, query: Query,
     failure: (ErrorResponseMessage | ClientQueryError))
   =>
-    match failure
+    match \exhaustive\ failure
     | let e: ErrorResponseMessage =>
       _h.fail("Query failed: " + e.code + ": " + e.message)
     | let e: ClientQueryError =>

postgres/_test_equality.pony

@@ -5,7 +5,7 @@ use "pony_test"
 class \nodoc\ iso _TestFieldEqualityReflexive is UnitTest
   """
   Every FieldDataTypes variant produces a Field that is equal to itself.
-  Covers all 9 variants of the FieldDataTypes union to verify each match
+  Covers all 9 variants of the FieldDataTypes union to verify each match \exhaustive\
   branch in Field.eq.
   """
   fun name(): String => "Field/Equality/Reflexive"