Prettier

.eslintrc.cjs

@@ -10,9 +10,6 @@ module.exports = {
   parser: '@typescript-eslint/parser',
   plugins: ['react-refresh'],
   rules: {
-    'react-refresh/only-export-components': [
-      'warn',
-      { allowConstantExport: true },
-    ],
+    'react-refresh/only-export-components': ['warn', { allowConstantExport: true }],
   },
-}
+};

.github/workflows/check.yml

@@ -1,4 +1,4 @@
-name: Test with vitest
+name: Run checks
 
 on:
   push:

src/datalog/dusa-parser.ts

@@ -77,8 +77,7 @@ function mkStream<T>(xs: T[]): Istream<T> {
 function force(t: Istream<Token>, type: string): Token {
   const tok = t.next();
   if (tok === null) throw new DusaSyntaxError(`Expected ${type}, found end of input.`);
-  if (tok.type !== type)
-    throw new DusaSyntaxError(`Expected ${type}, found ${tok.type}`, tok.loc);
+  if (tok.type !== type) throw new DusaSyntaxError(`Expected ${type}, found ${tok.type}`, tok.loc);
   return tok;
 }