source: to-imperative/trunk/samples/Syntax/trap6.rf @ 4026

$use StdIO;

$func Main = e;
Main =
  $trap $error X $with {
    s1, $trap $error Y $with \{};
    e1 = <PrintLn "Catched: "e1>;
  };