tiger-compiler/tests/assert/good/simple_unit_test.tig


1
2
3
4
5
6
7
8
9
10

let
  function test_return_10() =
    let
      function get_x(x : int): int = x
    in
      assert get_x(10) = 10
    end
  in
  test_return_10()
end