Project

General

Profile

Revision 3769b712 src/tools/importer/main_lustre_importer.ml

View differences:

src/tools/importer/main_lustre_importer.ml
61 61
  let elem = "[\"SUBTYPE_DECLARATION\", {\"name\": \"byte\", \"typ\": { \"name\": \"bit_vector\", \"definition\": [ \"RANGE_WITH_DIRECTION\", \"downto\", 7, 0 ]}}]" in
62 62
  match vhdl_definition_t_of_yojson (from_string elem) with
63 63
    Ok x -> Format.printf "\nString to string\n%s\n\n" (pretty_to_string (vhdl_definition_t_to_yojson x));
64
  | Error e -> Format.printf "Error: %s\n" e;
64
  |Lustrec.Error e -> Format.printf "Error: %s\n" e;
65 65
*)
66 66

  
67 67
  match vhdl_file_t_of_yojson vhdl1_json with
68 68
    Ok x -> Format.printf "Parsed VHDL: \n%s\n" (pretty_to_string (vhdl_file_t_to_yojson x))
69
  | Error e -> Format.printf "Error: %s\n" e;
69
  |Lustrec.Error e -> Format.printf "Error: %s\n" e;

Also available in: Unified diff