chore!: bump primer backend, adapt to new selection info api

When selecting a non-empty hole, the API now emits information about
both the expected and actual types. We adapt to this change by ignoring
the actual type and just displaying the expected one (this matches the
behaviour with the old backend version). In a subsequent commit we will
show both.

BREAKING CHANGE: the API is different from the previous backend pin. Thus
this version of the frontend cannot talk to the previous version of the
backend and vice versa.

Signed-off-by: Ben Price <[email protected]>

argocd/base/statefulset.yaml

@@ -26,7 +26,7 @@ spec:
           # Note: use the *dev* version of the package here, so that
           # PRs can deploy `primer-service` container images that have
           # not yet been merged to `primer` `main`.
-          image: ghcr.io/hackworthltd/primer-service-dev:git-2bf2349473b60fc6a99e9a553dcd1b0fd9d54b5f
+          image: ghcr.io/hackworthltd/primer-service-dev:git-96236936906694bacf62c52cb718ba73e77c50ee
           ports:
             - containerPort: 8081
           env:

flake.nix

@@ -19,7 +19,7 @@
 
     # Note: don't override any of primer's Nix flake inputs, or else
     # we won't hit its binary cache.
-    primer.url = github:hackworthltd/primer/2bf2349473b60fc6a99e9a553dcd1b0fd9d54b5f;
+    primer.url = github:hackworthltd/primer/96236936906694bacf62c52cb718ba73e77c50ee;
 
     flake-parts.url = "github:hercules-ci/flake-parts";
   };

src/components/SelectionInfo/index.tsx

@@ -23,10 +23,11 @@ const TypeOrKindTree = (p: {
     fitView({ padding });
   };
 
+  const tk = p.typeOrKind.contents;
   return (
     <TreeReactFlowOne
       {...defaultTreeReactFlowProps}
-      tree={p.typeOrKind.contents}
+      tree={tk.tag === "Ok" ? tk.contents : tk.expected}
       level={p.level}
       zoomBarProps={{ padding }}
       onNodesChange={onNodesChange}

src/primer-api/model/index.ts

@@ -53,6 +53,11 @@ export * from './nodeFlavorPrimBody';
 export * from './nodeFlavorTextBody';
 export * from './nodeSelection';
 export * from './nodeType';
+export * from './okOrMismatch';
+export * from './okOrMismatchOneOf';
+export * from './okOrMismatchOneOfTag';
+export * from './okOrMismatchOneOfThree';
+export * from './okOrMismatchOneOfThreeTag';
 export * from './option';
 export * from './options';
 export * from './paginatedMeta';

src/primer-api/model/okOrMismatch.ts

@@ -0,0 +1,11 @@
+/**
+ * Generated by orval v6.19.1 🍺
+ * Do not edit manually.
+ * Primer backend API
+ * A backend service implementing a pedagogic functional programming language.
+ * OpenAPI spec version: 0.7
+ */
+import type { OkOrMismatchOneOf } from './okOrMismatchOneOf';
+import type { OkOrMismatchOneOfThree } from './okOrMismatchOneOfThree';
+
+export type OkOrMismatch = OkOrMismatchOneOf | OkOrMismatchOneOfThree;

src/primer-api/model/okOrMismatchOneOf.ts

@@ -0,0 +1,14 @@
+/**
+ * Generated by orval v6.19.1 🍺
+ * Do not edit manually.
+ * Primer backend API
+ * A backend service implementing a pedagogic functional programming language.
+ * OpenAPI spec version: 0.7
+ */
+import type { Tree } from './tree';
+import type { OkOrMismatchOneOfTag } from './okOrMismatchOneOfTag';
+
+export type OkOrMismatchOneOf = {
+  contents: Tree;
+  tag: OkOrMismatchOneOfTag;
+};