1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/boxy/PList1.hs b/testsuite/tests/boxy/PList1.hs
new file mode 100644
index 0000000000..80fac96d9f
--- /dev/null
+++ b/testsuite/tests/boxy/PList1.hs
@@ -0,0 +1,26 @@
+{-# OPTIONS_GHC -XImpredicativeTypes -fno-warn-deprecated-flags #-}
+
+module PList1 where 
+-- Polymorphic lists 1: requires smart-app-res  
+
+type Sid = forall a . a -> a
+
+ids :: [Sid] 
+ids = [] 
+
+-- requires smart-app-res 
+test0 :: [Sid] 
+test0 = (\x->x) : ids 
+
+test1 :: [Sid]	-- SLPJ added
+test1 = ids ++ test0 
+
+test2 :: [Sid] 
+test2 = tail test1 
+
+
+test3 :: [Sid]	-- SLPJ added
+test3 = reverse test2 
+test4 = (tail::([Sid]->[Sid])) test2 
+
+test5 = (head::([Sid]->Sid)) test2 
+\ No newline at end of file