Changeset 721 for to-imperative/trunk/samples/Syntax/static1.rf

Timestamp:

May 5, 2003, 2:32:05 PM (17 years ago)

Author:

orlov

Message:

• Corrected bug in the static expression generation algorithm.

File:

• to-imperative/trunk/samples/Syntax/static1.rf (modified) (1 diff)

to-imperative/trunk/samples/Syntax/static1.rf

@@ -11 +11 @@
   (A B) (X A B) (X A B C D) (B C) (C D) :: e,
   (X A B) (X A B C D) :: e,
+  ((())) (()) () :: e,
   1 2 :: e,
   3 4 :: e,