idris-0.9.13: test/reg040/reg040.idr
-- The regression that this tests for is defunct unsafePerformIO io : IO Int io = return 42 main : IO () main = print $ unsafePerformIO io
-- The regression that this tests for is defunct unsafePerformIO io : IO Int io = return 42 main : IO () main = print $ unsafePerformIO io