1 files changed, 97 insertions, 59 deletions
diff --git a/tests/builtins.spec.ts b/tests/builtins.spec.ts
index cbac0d3..31e2cc0 100644
--- a/tests/builtins.spec.ts
+++ b/tests/builtins.spec.ts
@@ -4,7 +4,8 @@ import { PutStringLn } from '../stdlib/stdio'
 import { DefineEffect, JsExpr, SetEvalEnvironment } from '../stdlib/sys'
 import { Test, AssertEqualsK, AssertEquals } from '../stdlib/test'
 
-interface MyEffect<_a extends number, _b extends string, _c extends unknown> extends Effect {}
+interface MyEffect<_a extends number, _b extends string, _c extends unknown>
+  extends Effect {}
 
 export type main = [
   SetEvalEnvironment<'test.node'>,
@@ -13,84 +14,121 @@ export type main = [
   PutStringLn<'=== Running tests ==='>,
   PutStringLn<'=====================\n\n'>,
 
-  Do<[
-    PutStringLn<'Bind & BindTo'>,
+  Do<
+    [
+      PutStringLn<'Bind & BindTo'>,
 
-    Test<'should bind value to function and kind', [
-      Bind<Pure<[1,2,3]>, <val extends number[]>() =>
-        AssertEquals<val, [1, 2, 3]>>,
+      Test<
+        'should bind value to function and kind',
+        [
+          Bind<
+            Pure<[1, 2, 3]>,
+            <val extends number[]>() => AssertEquals<val, [1, 2, 3]>
+          >,
 
-      Bind<Pure<[1,2,3]>, AssertEqualsK<[1,2,3]>>,
-    ]>,
+          Bind<Pure<[1, 2, 3]>, AssertEqualsK<[1, 2, 3]>>
+        ]
+      >,
 
-    Test<'should bind label correctly', [
-      BindTo<"value", Pure<{ a: 'b', c: { d: 1 } }>>,
+      Test<
+        'should bind label correctly',
+        [
+          BindTo<'value', Pure<{ a: 'b'; c: { d: 1 } }>>,
 
-      Bind<Label<"value">, AssertEqualsK<{ a: 'b', c: { d: 1 } }>>,
-    ]>,
+          Bind<Label<'value'>, AssertEqualsK<{ a: 'b'; c: { d: 1 } }>>
+        ]
+      >,
 
-    Test<'should bind only inside Do scope', [
-      Do<[
-        BindTo<"value", Pure<"some value">>,
-        Bind<Label<"value">, AssertEqualsK<"some value">>,
-      ]>,
+      Test<
+        'should bind only inside Do scope',
+        [
+          Do<
+            [
+              BindTo<'value', Pure<'some value'>>,
+              Bind<Label<'value'>, AssertEqualsK<'some value'>>
+            ]
+          >,
 
-      Bind<
-        Try<Label<"value">, <_>() => Pure<"none">>,
-        AssertEqualsK<"none">
+          Bind<
+            Try<Label<'value'>, <_>() => Pure<'none'>>,
+            AssertEqualsK<'none'>
+          >
+        ]
       >,
-    ]>,
 
-    Test<'should bind only inside Bind scope', [
-      Bind<
-        BindTo<"value", Pure<"some value">>,
-        <_>() => Bind<Label<"value">, AssertEqualsK<"some value">>
-      >,
+      Test<
+        'should bind only inside Bind scope',
+        [
+          Bind<
+            BindTo<'value', Pure<'some value'>>,
+            <_>() => Bind<Label<'value'>, AssertEqualsK<'some value'>>
+          >,
 
-      Bind<
-        Try<Label<"value">, <_>() => Pure<"none">>,
-        AssertEqualsK<"none">
-      >,
-    ]>,
-  ]>,
+          Bind<
+            Try<Label<'value'>, <_>() => Pure<'none'>>,
+            AssertEqualsK<'none'>
+          >
+        ]
+      >
+    ]
+  >,
 
-  Do<[
-    PutStringLn<'Try/Throw'>,
+  Do<
+    [
+      PutStringLn<'Try/Throw'>,
 
-    Test<'should return the result of effect', [
-      Bind<Try<Pure<20>, <_>() => Pure<0>>,
-        AssertEqualsK<20>>,
-    ]>,
+      Test<
+        'should return the result of effect',
+        [Bind<Try<Pure<20>, <_>() => Pure<0>>, AssertEqualsK<20>>]
+      >,
 
-    Test<'should return the result of error handler', [
-      Bind<Try<Do<[ Throw<"wow">, Pure<20> ]>, <_>() => Pure<0>>,
-        AssertEqualsK<0>>,
+      Test<
+        'should return the result of error handler',
+        [
+          Bind<
+            Try<Do<[Throw<'wow'>, Pure<20>]>, <_>() => Pure<0>>,
+            AssertEqualsK<0>
+          >,
 
-      Bind<Try<Do<[ Throw<"wow">, Pure<20> ]>, <e>() => Pure<e>>,
-        AssertEqualsK<"wow">>,
-    ]>,
-  ]>,
+          Bind<
+            Try<Do<[Throw<'wow'>, Pure<20>]>, <e>() => Pure<e>>,
+            AssertEqualsK<'wow'>
+          >
+        ]
+      >
+    ]
+  >,
 
-  Do<[
-    PutStringLn<'FFI'>,
+  Do<
+    [
+      PutStringLn<'FFI'>,
 
-    Test<'should return the result of js expression', [
-      Bind<JsExpr<'69 * 420'>, AssertEqualsK<28980>>,
-    ]>,
+      Test<
+        'should return the result of js expression',
+        [Bind<JsExpr<'69 * 420'>, AssertEqualsK<28980>>]
+      >,
 
-    Test<'should test custom effect', [
-      DefineEffect<'MyEffect', `([a, b, c], ctx) => {
+      Test<
+        'should test custom effect',
+        [
+          DefineEffect<
+            'MyEffect',
+            `([a, b, c], ctx) => {
         return [
           ctx.getTypeValue(a) * 2,
           ctx.getTypeValue(b) + '!',
           [...ctx.getTypeValue(c), 'wow'],
         ]
-      }`>,
-      Bind<MyEffect<4, "hey", [1, 2]>, AssertEqualsK<[
-        8, "hey!", [1, 2, 'wow'],
-      ]>>,
-    ]>,
-  ]>,
+      }`
+          >,
+          Bind<
+            MyEffect<4, 'hey', [1, 2]>,
+            AssertEqualsK<[8, 'hey!', [1, 2, 'wow']]>
+          >
+        ]
+      >
+    ]
+  >,
 
-  PutStringLn<"">,
+  PutStringLn<''>
 ]