assert-escaped.tig « good « assert « tests « tiger-compiler - ING1-Projects.git - Projets ING1 2024-2025

summary refs log tree commit diff

path: root/tiger-compiler/tests/assert/good/assert-escaped.tig

blob: cd64444e597af29b750c47b9f02b3603f7d98209 (plain)

let
  var x := 10
  function assert_eq_x(k : int) = assert k = x
  in
  assert_eq_x(10)
end