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

import { Type } from 'ts-morph'
import { Ctx } from '../types'

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 () => {
    if (!ctx.getTypeValue(args[0])) {
      throw new Error('Assertion failed')
    }

    return []
  },
})