from compiler.type_checker import typecheck_module
from compiler.tokenizer import L, tokenize
from compiler.parser import parse
from compiler.ir_generator import generate_ir_from_module, print_instructions, root_types

def test_ir_generator_basic () -> None:
  expr_str = '1 + 2 * 3'
  tokens = tokenize(expr_str)
  ast = parse(tokens)
  typecheck_module(ast)
  main_instructions = generate_ir_from_module(ast)['main']
  assert print_instructions(main_instructions) != ''