Test Trac #5283

testsuite/tests/ghc-regress/arrows/should_compile/T5283.hs

+{-# 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

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, [''])