source: to-imperative/trunk/samples/Syntax/iter1.rf @ 4085

$use StdIO;

$func Main = e;
Main =
  1 2 3 : e.nums,
  e.nums $iter {
    e.nums : s.n e.rest =
      <PrintLn s.n>,
      e.rest;
  } :: e.nums,
  e.nums : /*empty*/;