expected

Type checking ./TestEmpty.idr
Type checking ./TestPrivate.idr
Warning: Ignoring empty or non-existing namespace 'TestEmpty'
Warning: Ignoring empty or non-existing namespace 'TestPrivate'
No namespaces to generate documentation for