idris-0.9.9: test/test003/test003a.lidr

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