Task

Verify that a file called     input.txt     and   a directory called     docs     exist.



This should be done twice:  

   once for the current working directory,   and
   once for a file and a directory in the filesystem root.


Optional criteria (May 2015):   verify it works with:

   zero-length files
   an unusual filename:     `Abdu'l-Bahá.txt  


$ include "seed7_05.s7i";
 
const proc: main is func
  begin
    writeln(fileType("input.txt") = FILE_REGULAR);
    writeln(fileType("/input.txt") = FILE_REGULAR);
    writeln(fileType("docs") = FILE_DIR);
    writeln(fileType("/docs") = FILE_DIR);
  end func;