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-eca550da908c793ce35d7428cb06dec6671ed67f
           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/eca550da908c793ce35d7428cb06dec6671ed67f;
 
     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;
+};