Test Trac #5283

2 files changed, 21 insertions, 0 deletions

diff --git a/testsuite/tests/ghc-regress/arrows/should_compile/T5283.hs b/testsuite/tests/ghc-regress/arrows/should_compile/T5283.hs
new file mode 100644
index 0000000000..9216d3cd67
--- /dev/null
+++ b/testsuite/tests/ghc-regress/arrows/should_compile/T5283.hs
@@ -0,0 +1,20 @@
+{-# LANGUAGE Arrows #-}
+-- Failed in ghci
+
+module T where
+
+import Prelude
+import Control.Arrow
+
+mapAC :: Arrow arr => Integer -> arr (env, b) c -> arr (env, [b]) [c]  
+mapAC n farr = go 1
+  where
+    go i | i == succ n = arr (\(_env, []) -> [])
+         | otherwise = proc ~(env, b : bs) ->
+             do c  <- farr -< (env, b)
+                cs <- go (succ i) -< (env, bs)
+                returnA -< c : cs
+
+t :: Arrow arr => arr [a] [a]
+t = proc ys ->
+     (| (mapAC 3) (\y -> returnA -< y) |) ys
diff --git a/testsuite/tests/ghc-regress/arrows/should_compile/all.T b/testsuite/tests/ghc-regress/arrows/should_compile/all.T
index a3eadb0541..3351b9f4ba 100644
--- a/testsuite/tests/ghc-regress/arrows/should_compile/all.T
+++ b/testsuite/tests/ghc-regress/arrows/should_compile/all.T
@@ -15,3 +15,4 @@ test('arrowlet1', normal, compile, [''])
 test('arrowrec1', normal, compile, [''])
 test('arrowpat', normal, compile, [''])
 test('T3964', normal, compile, [''])
+test('T5283', normal, compile, [''])