Commit ac8464ba authored by Simon Peyton Jones's avatar Simon Peyton Jones

Test Trac #5022

parent f90a4e1a
{-# LANGUAGE Arrows #-}
module T5022 ( pIterate ) where
import Prelude hiding ( init )
returnA :: b -> b
returnA = id
------------
newtype State s a = State { unState :: [a] }
------------
pIterate :: a -> [a]
pIterate =
proc x -> do
rec
as <- unState -< s
let s = State (x:as)
returnA -< as
......@@ -233,3 +233,4 @@ test('T5984', extra_clean(['T5984_Lib.hi', 'T5984_Lib.o']),
test('T5555', extra_clean(['T5555_Lib.hi', 'T5555_Lib.o']),
multimod_compile, ['T5555', '-v0'])
test('T5976', normal, compile_fail, ['-v0'])
test('T5795', normal, compile_fail, ['-v0'])
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment