support @exhaustive on interfaces in addition to unions

zth · zth · commit b6d90b6f3349 · 2025-10-10T09:37:01.000+02:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,7 @@
 # master
 
+- Support `@exhaustive` on interfaces as well.
+
 # 3.5.1
 
 - Build Linux PPX binary in Debian 11 (bullseye) container to improve compatibility with older glibc versions. The binary now requires glibc 2.31 instead of 2.39, supporting Amazon Linux 2023 (Vercel), Ubuntu 20.04+, Debian 11+, and RHEL 9+.
diff --git a/packages/relay b/packages/relay
@@ -1 +1 @@
-Subproject commit 8ba08d004f16fd1423369f1e353a57b5a954251c
+Subproject commit 5b60df0ef4d6861dedf139e12da7a29c9b262034
diff --git a/packages/rescript-relay/__tests__/Test_nodeInterface.res b/packages/rescript-relay/__tests__/Test_nodeInterface.res
@@ -12,6 +12,15 @@ module Query = %relay(`
           ...TestNodeInterface_user
         }
       }
+
+      _testExhaustiveInterface: node(id: "123") @exhaustive {
+        ... on User {
+          __typename
+        }
+        ... on Group {
+          __typename
+        }
+      }
     }
 `)
 
diff --git a/packages/rescript-relay/__tests__/Test_unionFragment.res b/packages/rescript-relay/__tests__/Test_unionFragment.res
@@ -28,7 +28,7 @@ module UserFragment = %relay(`
 `)
 
 module PluralFragment = %relay(`
-    fragment TestUnionFragment_plural_member on Member @relay(plural: true) {
+    fragment TestUnionFragment_plural_member on Member @relay(plural: true) @exhaustive {
       ... on User {
         firstName
         onlineStatus
diff --git a/packages/rescript-relay/__tests__/__generated__/TestNodeInterfaceQuery_graphql.res b/packages/rescript-relay/__tests__/__generated__/TestNodeInterfaceQuery_graphql.res

Original file line number	Diff line number	Diff line change
@@ -12,6 +12,15 @@ module Query = %relay(`
`12`	`12`	`...TestNodeInterface_user`
`13`	`13`	`}`
`14`	`14`	`}`
	`15`	`+`
	`16`	`+ _testExhaustiveInterface: node(id: "123") @exhaustive {`
	`17`	`+ ... on User {`
	`18`	`+ __typename`
	`19`	`+ }`
	`20`	`+ ... on Group {`
	`21`	`+ __typename`
	`22`	`+ }`
	`23`	`+ }`
`15`	`24`	`}`
`16`	`25`	`)
`17`	`26`