6 files changed, 34 insertions, 35 deletions

diff --git a/subprojects/frontend/package.json b/subprojects/frontend/package.json
index acff57db..ca7bff56 100644
--- a/subprojects/frontend/package.json
+++ b/subprojects/frontend/package.json
@@ -28,35 +28,36 @@
   },
   "homepage": "https://refinery.tools",
   "dependencies": {
-    "@codemirror/autocomplete": "^6.17.0",
+    "@codemirror/autocomplete": "^6.18.0",
     "@codemirror/commands": "^6.6.0",
     "@codemirror/language": "^6.10.2",
     "@codemirror/lint": "^6.8.1",
     "@codemirror/search": "^6.5.6",
     "@codemirror/state": "^6.4.1",
-    "@codemirror/view": "^6.28.4",
-    "@emotion/cache": "^11.11.0",
-    "@emotion/react": "^11.11.4",
-    "@emotion/serialize": "^1.1.4",
-    "@emotion/styled": "^11.11.5",
-    "@emotion/utils": "^1.2.1",
-    "@fontsource-variable/jetbrains-mono": "^5.0.21",
-    "@fontsource-variable/open-sans": "^5.0.29",
-    "@fontsource/open-sans": "^5.0.28",
-    "@hpcc-js/wasm": "^2.18.0",
+    "@codemirror/view": "^6.33.0",
+    "@emotion/cache": "^11.13.1",
+    "@emotion/react": "^11.13.3",
+    "@emotion/serialize": "^1.3.1",
+    "@emotion/sheet": "^1.4.0",
+    "@emotion/styled": "^11.13.0",
+    "@fontsource-variable/jetbrains-mono": "^5.0.22",
+    "@fontsource-variable/open-sans": "^5.0.30",
+    "@fontsource/open-sans": "^5.0.29",
+    "@hpcc-js/wasm": "^2.21.0",
+    "@hpcc-js/wasm-zstd": "^1.2.0",
     "@lezer/common": "^1.2.1",
-    "@lezer/highlight": "^1.2.0",
-    "@lezer/lr": "^1.4.1",
+    "@lezer/highlight": "^1.2.1",
+    "@lezer/lr": "^1.4.2",
     "@material-icons/svg": "^1.0.33",
-    "@mui/icons-material": "^5.16.0",
-    "@mui/material": "^5.16.0",
-    "@mui/system": "^5.16.0",
-    "@mui/x-data-grid": "^7.9.0",
+    "@mui/icons-material": "^6.0.1",
+    "@mui/material": "^6.0.1",
+    "@mui/system": "^6.0.1",
+    "@mui/x-data-grid": "^7.15.0",
     "ansi-styles": "^6.2.1",
     "csstype": "^3.1.3",
     "d3": "^7.9.0",
     "d3-color": "^3.1.0",
-    "d3-graphviz": "patch:d3-graphviz@npm%3A5.4.0#~/.yarn/patches/d3-graphviz-npm-5.4.0-4298b33e9f.patch",
+    "d3-graphviz": "patch:d3-graphviz@npm%3A5.6.0#~/.yarn/patches/d3-graphviz-npm-5.6.0-129e64ec05.patch",
     "d3-selection": "^3.0.0",
     "d3-zoom": "patch:d3-zoom@npm%3A3.0.0#~/.yarn/patches/d3-zoom-npm-3.0.0-18f706a421.patch",
     "escape-string-regexp": "^5.0.0",
@@ -64,7 +65,7 @@
     "lodash-es": "^4.17.21",
     "loglevel": "^1.9.1",
     "loglevel-plugin-prefix": "^0.8.4",
-    "mobx": "^6.13.0",
+    "mobx": "^6.13.1",
     "mobx-react-lite": "^4.0.7",
     "ms": "^2.1.3",
     "nanoid": "^5.0.7",
@@ -88,18 +89,18 @@
     "@types/lodash-es": "^4.17.12",
     "@types/micromatch": "^4.0.9",
     "@types/ms": "^0.7.34",
-    "@types/node": "^20.14.10",
+    "@types/node": "^20.16.2",
     "@types/pnpapi": "^0.0.5",
-    "@types/react": "^18.3.3",
+    "@types/react": "^18.3.5",
     "@types/react-dom": "^18.3.0",
     "@vitejs/plugin-react-swc": "^3.7.0",
     "@xstate/cli": "^0.5.17",
     "html-minifier-terser": "^7.2.0",
-    "micromatch": "^4.0.7",
+    "micromatch": "^4.0.8",
     "pnpapi": "^0.0.0",
-    "typescript": "5.5.3",
-    "vite": "^5.3.3",
-    "vite-plugin-pwa": "^0.20.0",
+    "typescript": "5.5.4",
+    "vite": "^5.4.2",
+    "vite-plugin-pwa": "^0.20.2",
     "workbox-window": "^7.1.0"
   }
 }
diff --git a/subprojects/frontend/src/graph/GraphStore.ts b/subprojects/frontend/src/graph/GraphStore.ts
index 30d0a2f3..a133d636 100644
--- a/subprojects/frontend/src/graph/GraphStore.ts
+++ b/subprojects/frontend/src/graph/GraphStore.ts
@@ -25,6 +25,7 @@ export function getDefaultVisibility(
     case 'class':
     case 'reference':
     case 'opposite':
+    case 'base':
       return 'all';
     case 'predicate':
       return detail.error ? 'must' : 'none';
diff --git a/subprojects/frontend/src/graph/export/exportDiagram.tsx b/subprojects/frontend/src/graph/export/exportDiagram.tsx
index 73b40fea..663cafe1 100644
--- a/subprojects/frontend/src/graph/export/exportDiagram.tsx
+++ b/subprojects/frontend/src/graph/export/exportDiagram.tsx
@@ -6,7 +6,7 @@
 
 import createCache from '@emotion/cache';
 import { serializeStyles } from '@emotion/serialize';
-import type { StyleSheet } from '@emotion/utils';
+import type { StyleSheet } from '@emotion/sheet';
 import italicFontURL from '@fontsource/open-sans/files/open-sans-latin-400-italic.woff2?url';
 import normalFontURL from '@fontsource/open-sans/files/open-sans-latin-400-normal.woff2?url';
 import boldFontURL from '@fontsource/open-sans/files/open-sans-latin-700-normal.woff2?url';
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index b8038b70..56867964 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -52,8 +52,7 @@ statement {
     kw<"extern"> ckw<"aggregator"> AggregatorName "."
   } |
   PredicateDefinition {
-    ckw<"shadow">?
-    (kw<"error">? kw<"pred"> | kw<"error">)
+    ((kw<"error"> | kw<"partial"> | ckw<"shadow">)* kw<"pred"> | kw<"error">)
     RelationName ParameterList<Parameter>?
     PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." }
   } |
diff --git a/subprojects/frontend/src/persistence/compressionWorker.ts b/subprojects/frontend/src/persistence/compressionWorker.ts
index 7b93b20b..df476535 100644
--- a/subprojects/frontend/src/persistence/compressionWorker.ts
+++ b/subprojects/frontend/src/persistence/compressionWorker.ts
@@ -1,13 +1,10 @@
 /*
- * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
+ * SPDX-FileCopyrightText: 2023-2024 The Refinery Authors <https://refinery.tools/>
  *
  * SPDX-License-Identifier: EPL-2.0
  */
 
-import type { Zstd } from '@hpcc-js/wasm';
-// We need to use a deep import for proper code splitting with `vite-plugin-pwa`.
-// @ts-expect-error Typescript doesn't find the declarations for the deep import.
-import { Zstd as zstdLoader } from '@hpcc-js/wasm/zstd';
+import { Zstd } from '@hpcc-js/wasm-zstd';
 
 import type {
   CompressResponse,
@@ -56,13 +53,13 @@ async function base64Decode(compressedText: string): Promise<Uint8Array> {
   return new Uint8Array(await result.arrayBuffer());
 }
 
-let zstd: Awaited<ReturnType<typeof Zstd.load>> | undefined;
+let zstd: Zstd | undefined;
 
 globalThis.onmessage = (event) => {
   (async () => {
     if (zstd === undefined) {
       // Since we don't have types for the deep import, we have to cast here.
-      zstd = await (zstdLoader as { load: typeof Zstd.load }).load();
+      zstd = await Zstd.load();
     }
     // Since the render thread will only send us valid messages,
     // we can save a bit of bundle size by using a cast instead of `parse`
diff --git a/subprojects/frontend/src/xtext/xtextServiceResults.ts b/subprojects/frontend/src/xtext/xtextServiceResults.ts
index c5bc1320..7c2fb8ec 100644
--- a/subprojects/frontend/src/xtext/xtextServiceResults.ts
+++ b/subprojects/frontend/src/xtext/xtextServiceResults.ts
@@ -156,6 +156,7 @@ export const RelationMetadata = z.object({
       opposite: z.string(),
     }),
     z.object({ type: z.literal('predicate'), error: z.boolean() }),
+    z.object({ type: z.literal('base') }),
     z.object({ type: z.literal('builtin') }),
   ]),
 });