idris-0.9.11: test/literate001/test003a.lidr

Broken
> main : IO ();
> main = putStrLn "Foo";