#lang shplait

// Tests for the Typed Core Paret type checker. Every test goes through
// `type_of` on a parsed program; see the Testing Guidelines.

import:
  open: "tparet_core.rhm"
  open: "type_checker.rhm"

check:
  type_of(parse_str("(+ 1 2)"))
  ~is t_num()