pr-5022.ch
pr-5022.exp
pr-5646.ch
+pr-5646-grt.ch
pr-5646.exp
result.ch
result.exp
Fri Sep 16 16:55:03 1994 Per Bothner (bothner@kalessin.cygnus.com)
- * pr-5646.ch, pr-5646.exp, Makefile.in: New testcase.
+ * pr-5646.ch, pr-5646-grt.ch, pr-5646.exp, Makefile.in: New testcase.
Tue Sep 6 13:21:27 1994 Per Bothner (bothner@kalessin.cygnus.com)
# To force pr-4975-grt to be compiled before pr-4975, so the
# latter can use the former's grant file.
pr-4975.o: pr-4975-grt.o
+pr-5646.o: pr-5646-grt.o
all: $(EXECUTABLES)
--- /dev/null
+x: MODULE
+NEWMODE a_set = SET (a, b, c, d);
+NEWMODE a_ps = POWERSET a_set;
+GRANT a_ps;
+END;
y: MODULE
-<> USE_SEIZE_FILE "x.grt" <>
+<> USE_SEIZE_FILE "pr-5646-grt.grt" <>
SEIZE a_ps;
p: PROC ();