feat: refactors test runner

1 files changed, 6 insertions, 7 deletions

diff --git a/src/eval-env/test.ts b/src/eval-env/test.ts
index c394752..eddf366 100644
--- a/src/eval-env/test.ts
+++ b/src/eval-env/test.ts
@@ -1,31 +1,30 @@
 import { Type } from 'ts-morph'
 import { Ctx } from '../types'
 
-export const cleanup = () => {}
-
 export default (ctx: Ctx, args: Type[]) => ({
   Test: async () => {
     const [msg, effs] = args
-    process.stdout.write(` - ${ctx.getTypeValue(msg)}`)
+    process.stdout.write(` - ${ctx.getTypeValue(msg)} `)
 
     try {
       for (const eff of effs?.getTupleElements() ?? []) {
         await ctx.evaluateType(ctx, eff)
       }
 
-      console.log(' [✓]')
+      console.log('[✓]')
     } catch(e) {
-      console.log(' [TEST FAILED]')
+      console.log('[TEST FAILED]')
       throw e
     }
+
     return []
   },
 
   Assert: async () => {
-    const [b] = args
-    if (!ctx.getTypeValue(b)) {
+    if (!ctx.getTypeValue(args[0])) {
       throw new Error('Assertion failed')
     }
+
     return []
   },
 })