simple lints

Author: maxdeliso

lib/data/avl/avlNode.ts

@@ -216,24 +216,22 @@ export function insertAVL<TKey, TValue>(
       if (cmp === 0) {
         // we replaced this node entirely
         updated = subtree;
-      } else {
-        if (direction === "L") {
-          updated = createAVLNode(
-            node.key,
-            node.value,
-            node.height,
-            subtree,
-            node.right,
-          );
-        } else if (direction === "R") {
-          updated = createAVLNode(
-            node.key,
-            node.value,
-            node.height,
-            node.left,
-            subtree,
-          );
-        }
+      } else if (direction === "L") {
+        updated = createAVLNode(
+          node.key,
+          node.value,
+          node.height,
+          subtree,
+          node.right,
+        );
+      } else if (direction === "R") {
+        updated = createAVLNode(
+          node.key,
+          node.value,
+          node.height,
+          node.left,
+          subtree,
+        );
       }
     }
 

lib/meta/frontend/rebuilders.ts

@@ -158,51 +158,3 @@ export function typedTypeRebuild(
     );
   }
 }
-
-export function typedTypeRebuildTerm(n: TripLangTerm): TripLangTerm {
-  switch (n.kind) {
-    case "poly":
-    case "typed":
-    case "untyped":
-    case "combinator":
-      return n;
-    case "type":
-      throw new CompilationError(
-        `Unexpected kind: ${JSON.stringify(n)}`,
-        "resolve",
-        { term: n },
-      );
-  }
-}
-
-export function untypedTermRebuild(n: TripLangTerm): TripLangTerm {
-  switch (n.kind) {
-    case "poly":
-    case "typed":
-    case "untyped":
-    case "combinator":
-      return n;
-    case "type":
-      throw new CompilationError(
-        `Unexpected kind ${JSON.stringify(n)}`,
-        "resolve",
-        { term: n },
-      );
-  }
-}
-
-export function untypedTypeRebuild(n: TripLangTerm): TripLangTerm {
-  switch (n.kind) {
-    case "poly":
-    case "typed":
-    case "untyped":
-    case "combinator":
-      return n;
-    case "type":
-      throw new CompilationError(
-        `Unexpected kind: ${JSON.stringify(n)}`,
-        "resolve",
-        { term: n },
-      );
-  }
-}

test/meta/inputs/pred.trip

@@ -14,23 +14,23 @@ poly pair = ΛA . ΛB .
               ΛY . λk : A → B → Y .
                 k a b
 
-poly fst  = ΛA . ΛB .
-              λp : ∀Y . (A → B → Y) → Y .
-                p [A] (λx : A . λy : B . x)
+poly fst = ΛA . ΛB .
+             λp : ∀Y . (A → B → Y) → Y .
+               p [A] (λx : A . λy : B . x)
 
-poly snd  = ΛA . ΛB .
-              λp : ∀Y . (A → B → Y) → Y .
-                p [B] (λx : A . λy : B . y)
+poly snd = ΛA . ΛB .
+             λp : ∀Y . (A → B → Y) → Y .
+               p [B] (λx : A . λy : B . y)
 
 poly pred = λn : Nat .
   fst Nat Nat
     ( n [∀Y . (Nat → Nat → Y) → Y]
-        ( λp : ∀Y . (Nat → Nat → Y) → Y .
-            pair Nat Nat
-              (snd Nat Nat p)
-              (succ (snd Nat Nat p))
-        )
-        (pair Nat Nat zero zero)
+      ( λp : ∀Y . (Nat → Nat → Y) → Y .
+          pair Nat Nat
+            (snd Nat Nat p)
+            (succ (snd Nat Nat p))
+      )
+      (pair Nat Nat zero zero)
     )
 
 poly testPred1 = pred one