program.crow

int bar :: 99

fn foo :: {
  a: int;
  b: string;
} > string !> 97 do
  if a < 10 then
    throw 97
  end

  ret b + ": " + (str a)
end

type t :: "abc" | "def" | "ghi"

m: int = 3
$n: int = 6
 
@baz
$n += 1

if m > n then
  print "m > n"
  goto @baz
else
  print "m <= n"
end
 
 
mmm := {
  a: int = 1;
  b := 2;
  $c: float = 3;
}
 
q := [m, mmm] do
  if m > mmm then
    ret mmm
    ret mmm
    ret mmm
  elif m == mmm then
    ret m
  elif m == mmm then
    ret m
  else
    ret mmm
  end
end
 
s := foo! { 5; "hello"; } # maybe throws
s2r := foo { 5; "hello"; } # returns tagged union


if s2r.failed then
  print s2c.err
end

s2 := s2r.value # has now same type as s

for@cb i in {1; 2; 3;} do
  $j := i
  while $j < 10 do
    if $j < 5 then
      break @cb
    end

    print i
    $j += 1
  end
end

test "some unit tests" do
  assert 1 == 1
end

exit 1