source: to-imperative/trunk/samples/Syntax/static1.rf @ 1445

Last change on this file since 1445 was 721, checked in by orlov, 18 years ago
  • Corrected bug in the static expression generation algorithm.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 337 bytes
Line 
1
2Main =
3  A (B C) D :: e,
4  A B :: e,
5  (A B) :: e,
6  ((A B)) :: e,
7  D (B C) A :: e,
8  A B (C D) E F :: e,
9  M (X (C D) Y) N :: e,
10  A X (C D) Y B (Z Z) :: e,
11  (A B) (X A B) (X A B C D) (B C) (C D) :: e,
12  (X A B) (X A B C D) :: e,
13  ((())) (()) () :: e,
14  1 2 :: e,
15  3 4 :: e,
16  2 3 :: e,
17  1 2 3 4 :: e,
18  1 2 3 :: e,
19  2 3 4 :: e;
Note: See TracBrowser for help on using the repository browser.