source: to-imperative/trunk/samples/perm.rf @ 2470

Last change on this file since 2470 was 2357, checked in by yura, 14 years ago
  • Perm- Advances in Java-bytecode generation:
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 192 bytes
Line 
1$use StdIO;
2
3$func Perm (e) (e) = ;
4
5Perm (e1) (e2) =
6{
7  e2 : \{
8    ea tx eb,
9      <Perm (e1 tx) (ea eb)>,
10      $fail;
11    =
12      <PrintLN e1>
13    ;
14  };;
15};
16
17Main = <Perm () ('12345')>;
Note: See TracBrowser for help on using the repository browser.