1 files changed, 32 insertions, 0 deletions
diff --git a/gdb/testsuite/gdb.chill/pr-8742.ch b/gdb/testsuite/gdb.chill/pr-8742.ch
new file mode 100644
index 00000000000..0541149978e
--- /dev/null
+++ b/gdb/testsuite/gdb.chill/pr-8742.ch
@@ -0,0 +1,32 @@
+hugo : module
+  
+  synmode a = range(1:10);
+  synmode p = powerset a;
+  
+  synmode s = set (sa, sb, sc);
+  synmode s_ps = powerset s;
+  
+  x: proc (ps p);
+    dcl i a;
+    do for i in ps;
+      writetext (stdout, "%C ", i);
+    od;
+    writetext(stdout, "%/");
+  end x;
+  
+  y : proc (ps s_ps);
+    dcl i s;
+    do for i in ps;
+      writetext (stdout, "%C ", i);
+    od;
+    writetext(stdout, "%/");
+  end y;
+
+  dummy: proc ();
+  end dummy;
+      
+  x([1,2,3]);
+  y([sa, sc]);
+  dummy ();
+  
+end hugo;