# let get_files_list pwd =
  let rec g p =
    try
      let dsc = (Unix.readdir p) in
        dsc :: (g p)
    with End_of_file ->
    Unix.closedir p;
    [] in

  (g (Unix.opendir pwd));;

# get_files_list (Unix.getcwd ());;
- : string list = ["file1"; "file1"; "file3"]

let get_files_list pwd =
  let rec g p =
    try
      (Unix.readdir p) :: (g p);
    with End_of_file ->
    Unix.closedir p;
    [] in

    g (Unix.opendir pwd);
;;

_>let get_files_list pwd =
_>  let rec g p =
_>    try
_>      (Unix.readdir p) :: (g p);
_>    with End_of_file ->
_>    Unix.closedir p;
_>    [] in

_>    g (Unix.opendir pwd);
_>;;
_>

let foo x y z = ()

let _ = foo (print_string "x"; flush stdout; 1) (print_string "y"; flush stdout; 2) (print_string "z"; flush stdout; 3)

type 'a maybe = Just of 'a | Nothing;; (* давненько не смотрел на окамл, поэтому заимствую из хаскелла *)

let maybe_readdir p =
    try
        Just (Unix.readdir p)
    with
        End_of_file -> Nothing
    ;;

let rec readdirs p =
    match maybe_readdir p
    with
        Just s -> s :: readdirs p
    |    Nothing -> []
    ;;

let get_files pwd =
    let p = Unix.opendir pwd in
    let dirs = readdir p in
    Unix.closedir p;
    dirs
    ;;

open ExtList;;
let get_files_list pwd =
  let handle = Unix.opendir pwd in
  let rec loop lst = 
    match(try Some(Unix.readdir handle) with End_of_file->None) with 
    | Some s-> loop (s::lst)
    | None -> Unix.closedir handle; lst
  in List.rev (loop []);;
    
List.iter (Printf.printf "%s ") (get_files_list ".");;

let rev lst =
    let rec
      loop ([],dst) = dst
    | loop ((x::xs),dst) = loop (xs,(x::dst))
in loop (lst,[])

let foo x y z = ()

let _ = foo (print_string "x"; flush stdout; 1) (print_string "y"; flush stdout; 2) (print_string "z"; flush stdout; 3)

let rec rev_append l1 l2 =
  match l1 with
    [] -> l2
  | a :: l -> rev_append l (a :: l2)

let rev l = rev_append l []