src/eval-env/test.ts


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

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)}`)

    try {
      for (const eff of effs?.getTupleElements() ?? []) {
        await ctx.evaluateType(ctx, eff)
      }

      console.log(' [✓]')
    } catch(e) {
      console.log(' [TEST FAILED]')
      throw e
    }
    return []
  },

  Assert: async () => {
    const [b] = args
    if (!ctx.getTypeValue(b)) {
      throw new Error('Assertion failed')
    }
    return []
  },
})