初めてのATS2。見たとおりのCのコードにコンパイルされた

t.dats

#include "share/atspre_define.hats"
#include "share/atspre_staload.hats"

fn foo1(n : bool, dst : &int) : bool =
  if n then (
    dst := 42;
    true
  ) else (
    dst := 0;
    false
  )

implement main0 () =
let
  var x : int = 0
  val y1 = foo1(true, x)
  val () = println!("x = ", x, ", y1 = ", y1)
  val y2 = foo1(false, x)
  val () = println!("x = ", x, ", y2 = ", y2)
in
end