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

Last change on this file since 682 was 682, checked in by orlov, 18 years ago
  • Test for the correctness of constant static expressions initializing.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 314 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  1 2 :: e,
14  3 4 :: e,
15  2 3 :: e,
16  1 2 3 4 :: e,
17  1 2 3 :: e,
18  2 3 4 :: e;
Note: See TracBrowser for help on using the repository browser.