2 files changed, 7 insertions, 7 deletions
diff --git a/src/eval-env/builtins.ts b/src/eval-env/builtins.ts
index 3adde06..f9c4ce8 100644
--- a/src/eval-env/builtins.ts
+++ b/src/eval-env/builtins.ts
@@ -1,5 +1,6 @@
 import { Type } from 'ts-morph'
 import { Ctx } from "../types"
+import { evalList } from '../util'
 
 export default (ctx: Ctx, args: Type[]) => ({
     SetEvalEnvironment: async () => {
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 []
   },
 })