6 files changed, 85 insertions, 0 deletions
diff --git a/testsuite/gna/issue584/LinkedListPkg.vhd b/testsuite/gna/issue584/LinkedListPkg.vhd
new file mode 100644
index 000000000..87f6cbf69
--- /dev/null
+++ b/testsuite/gna/issue584/LinkedListPkg.vhd
@@ -0,0 +1,21 @@
+--! @author Trip Richert
+
+library ieee;
+use ieee.std_logic_1164.all;
+
+package LinkedListPkg is
+  generic (
+    type elem_type
+    );
+
+  type LinkedList;
+  type LinkedListPtr is access LinkedList;
+  
+  type LinkedList is record
+    elem : elem_type;
+    nextPtr : LinkedListPtr;
+  end record LinkedList;
+
+  
+end package LinkedListPkg;
+
diff --git a/testsuite/gna/issue584/Test_LinkedListPkg.vhd b/testsuite/gna/issue584/Test_LinkedListPkg.vhd
new file mode 100644
index 000000000..bddf3fcd5
--- /dev/null
+++ b/testsuite/gna/issue584/Test_LinkedListPkg.vhd
@@ -0,0 +1,26 @@
+library ieee;
+use ieee.std_logic_1164.all;
+library std;
+use std.textio.all;
+
+
+entity test_linkedListPkg is
+  package NaturalLinkedListPackage is new work.LinkedListPkg generic map(natural);
+  use NaturalLinkedListPackage.all;
+end entity test_linkedListPkg;
+
+architecture behavioral of test_linkedListPkg is
+  
+begin
+   process
+     variable list : LinkedListPtr;
+     variable l : line;
+     variable cnt : natural;
+   begin
+     write (l, cnt);
+     writeline (output, l);
+     wait;
+   end process;  
+
+end architecture behavioral;
+                                      
diff --git a/testsuite/gna/issue584/testsuite.sh b/testsuite/gna/issue584/testsuite.sh
new file mode 100755
index 000000000..019afef4b
--- /dev/null
+++ b/testsuite/gna/issue584/testsuite.sh
@@ -0,0 +1,12 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze LinkedListPkg.vhd
+analyze Test_LinkedListPkg.vhd
+elab_simulate Test_LinkedListPkg
+
+clean
+
+echo "Test successful"
diff --git a/testsuite/gna/issue586/bug.vhdl b/testsuite/gna/issue586/bug.vhdl
new file mode 100644
index 000000000..5c0ec5272
--- /dev/null
+++ b/testsuite/gna/issue586/bug.vhdl
@@ -0,0 +1,6 @@
+use work.bug_pkg.t_zero_one;            -- .all works
+entity bug is
+  generic (
+    test : t_zero_one := zero
+    );
+end entity bug;
diff --git a/testsuite/gna/issue586/bug_pkg.vhdl b/testsuite/gna/issue586/bug_pkg.vhdl
new file mode 100644
index 000000000..e683fc794
--- /dev/null
+++ b/testsuite/gna/issue586/bug_pkg.vhdl
@@ -0,0 +1,3 @@
+package bug_pkg is
+  type t_zero_one is (zero, one);
+end package bug_pkg;
diff --git a/testsuite/gna/issue586/testsuite.sh b/testsuite/gna/issue586/testsuite.sh
new file mode 100755
index 000000000..f7fa6d979
--- /dev/null
+++ b/testsuite/gna/issue586/testsuite.sh
@@ -0,0 +1,17 @@
+#! /bin/sh
+
+. ../../testenv.sh
+
+export GHDL_STD_FLAGS=--std=08
+analyze bug_pkg.vhdl
+analyze bug.vhdl
+
+clean
+
+export GHDL_STD_FLAGS=--std=02
+analyze bug_pkg.vhdl
+analyze_failure bug.vhdl
+
+clean
+
+echo "Test successful"