Prettier

robsimmons · Nov 18, 2023 · 883374b · 883374b
1 parent 2615179
commit 883374b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/src/engine/dataterm.ts b/src/engine/dataterm.ts
@@ -1,5 +1,5 @@
-import { Data, expose, hide } from "../datastructures/data";
-import { Pattern } from "../langauge/terms";
+import { Data, expose, hide } from '../datastructures/data';
+import { Pattern } from '../langauge/terms';
 
 export type Substitution = { [varName: string]: Data };
 

diff --git a/src/langauge/terms.ts b/src/langauge/terms.ts
@@ -33,7 +33,6 @@ export type ParsedPattern =
   | { type: 'wildcard'; name: null | string; loc: SourceLocation }
   | { type: 'var'; name: string; loc: SourceLocation };
 
-
 export function termToString(t: Pattern, needsParens = true): string {
   switch (t.type) {
     case 'triv':
@@ -51,8 +50,8 @@ export function termToString(t: Pattern, needsParens = true): string {
       return t.args.length === 0
         ? name
         : needsParens
-        ? `(${name} ${t.args.map((arg) => termToString(arg)).join(' ')})`
-        : `${name} ${t.args.map((arg) => termToString(arg)).join(' ')}`;
+          ? `(${name} ${t.args.map((arg) => termToString(arg)).join(' ')})`
+          : `${name} ${t.args.map((arg) => termToString(arg)).join(' ')}`;
     }
     case 'var':
       return t.name;