idris-0.12.3: test/error009/expected

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