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