newls

maxdeliso · Mar 8, 2025 · 26b89b1 · 26b89b1
1 parent a8227a8
commit 26b89b1
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/lib/parser/tripLang.ts b/lib/parser/tripLang.ts
@@ -74,4 +74,4 @@ export function parseTripLang(input: string): TripLangProgram {
   }
 
   return { kind: 'program', terms };
-}
+}
diff --git a/test/parser/inputs/combinatorY.trip b/test/parser/inputs/combinatorY.trip
@@ -1 +1 @@
-combinator Y = S(K(SII))(S(S(KS)K)(K(SII)))
+combinator Y = S(K(SII))(S(S(KS)K)(K(SII)))
diff --git a/test/parser/inputs/polyId.trip b/test/parser/inputs/polyId.trip
@@ -1 +1 @@
-poly id = Λa. λx:a. x
+poly id = Λa. λx:a. x
diff --git a/test/parser/inputs/untypedDouble.trip b/test/parser/inputs/untypedDouble.trip
@@ -1 +1 @@
-untyped double = λx. x x
+untyped double = λx. x x
diff --git a/test/parser/untyped.test.ts b/test/parser/untyped.test.ts
@@ -84,4 +84,4 @@ describe('Parser Tests', () => {
       });
     });
   });
-});
+});
-Original file line number
+Diff line change
@@ Expand Up @@
       }
       return { kind: 'program', terms };
-    }
+    }
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		combinator Y = S(K(SII))(S(S(KS)K)(K(SII)))
		combinator Y = S(K(SII))(S(S(KS)K)(K(SII)))
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		untyped double = λx. x x
		untyped double = λx. x x