idris-1.3.3: test/error009/expected.out

Uncaught error: Nothing found in namespace "Foo.Bar".