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

Last change on this file since 4085 was 4026, checked in by orlov, 12 years ago
  • Tests for $trap...$with construction.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 94 bytes
Line 
1$func F s = ;
2
3F s1 = $fail;
4
5$func Main = e;
6Main =
7  $trap <F A> $with {
8    e1 = e1;
9  };
10
Note: See TracBrowser for help on using the repository browser.