cmjdump_main.ml

(* Copyright (C) 2017 Hongbo Zhang, Authors of ReScript
 * 
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU Lesser General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * In addition to the permissions granted to you by the LGPL, you may combine
 * or link a "work that uses the Library" with a publicly distributed version
 * of this file to produce a combined library or application, then distribute
 * that combined work under the terms of your choosing, with no requirement
 * to comply with the obligations normally placed on you by section 4 of the
 * LGPL version 3 (or the corresponding section of a later version of the LGPL
 * should you choose to use a later version).
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)

(* start dumping *)

let f fmt = Printf.fprintf stdout fmt

let pp_cmj_case (case : Ext_js_file_kind.case) : unit =
  f "%s\n" ("case : " ^ match case with Little -> "little" | Upper -> "upper")

let pp_cmj
    ({ values; pure; package_spec = npm_package_path; case } : Js_cmj_format.t)
    =
  f "package info: %s\n"
    (Format.asprintf "%a" Js_packages_info.dump_packages_info npm_package_path);
  pp_cmj_case case;

  f "effect: %s\n" (if pure then "pure" else "not pure");
  Ext_array.iter values (fun { name; arity; persistent_closed_lambda } ->
      (match arity with
      | Single arity -> (
          f "%s: %s\n" name (Format.asprintf "%a" Lam_arity.print arity);
          match persistent_closed_lambda with
          | None -> f "%s: not saved\n" name
          | Some lam ->
              f "%s: ======[start]\n" name;
              f "%s\n" (Lam_print.lambda_to_string lam);
              f "%s: ======[finish]\n" name)
      | Submodule xs ->
          (match persistent_closed_lambda with
          | None -> f "%s: not saved\n" name
          | Some lam ->
              f "%s: ======[start]\n" name;
              f "%s" (Lam_print.lambda_to_string lam);
              f "%s: ======[finish]\n" name);
          Array.iteri
            (fun i arity ->
              f "%s[%i] : %s \n" name i
                (Format.asprintf "%a" Lam_arity.print arity))
            xs);
      f "\n")

let () =
  match Sys.argv with
  | [| _; file |] ->
      let cmj, digest = Js_cmj_format.from_file_with_digest file in
      Format.fprintf Format.std_formatter "@[Digest: %s@]@."
        (Digest.to_hex digest);
      pp_cmj cmj
  | _ -> failwith "expect one argument"