--- bindings/ocaml/plplot_core.idl.orig 2019-06-02 08:24:33.000000000 +0900 +++ bindings/ocaml/plplot_core.idl 2019-08-12 10:55:30.000000000 +0900 @@ -243,9 +243,6 @@ PLFLT plgwidth(void); PLFLT plgchrht(void); -#define QUOTEME(x) #x -#define RAW_ML(x) quote(mlmli, QUOTEME(x)); - // plstripc function quote(mlmli, "external plstripc : string -> string -> float -> float -> float -> float -> \ @@ -366,8 +363,8 @@ ml_plsexit ()"); quote(mli, "val plunset_exit : unit -> unit"); -RAW_ML(external plgriddata : float array -> float array -> float array -> float array -> float array -> plplot_grid_method_type -> float -> float array array = "ml_plgriddata_bytecode" "ml_plgriddata") -RAW_ML(external plparseopts : string array -> plplot_parse_method_type list -> unit = "ml_plparseopts") -RAW_ML(external pllegend : plplot_legend_opt -> plplot_position_opt -> float -> float -> float -> int -> int -> int -> int -> int -> plplot_legend_opt array -> float -> float -> float -> float -> int array -> string array -> int array -> int array -> float array -> float array -> int array -> int array -> float array -> int array -> float array -> int array -> string array -> float * float = "ml_pllegend_byte" "ml_pllegend") -RAW_ML(external plcolorbar : plplot_colorbar_opt -> plplot_position_opt -> float -> float -> float -> float -> int -> int -> int -> float -> float -> int -> float -> plplot_colorbar_opt array -> string array -> string array -> float array -> int array -> float array array -> float * float = "ml_plcolorbar_byte" "ml_plcolorbar") +quote(mlmli, "external plgriddata : float array -> float array -> float array -> float array -> float array -> plplot_grid_method_type -> float -> float array array = \"ml_plgriddata_bytecode\" \"ml_plgriddata\"") +quote(mlmli, "external plparseopts : string array -> plplot_parse_method_type list -> unit = \"ml_plparseopts\"") +quote(mlmli, "external pllegend : plplot_legend_opt -> plplot_position_opt -> float -> float -> float -> int -> int -> int -> int -> int -> plplot_legend_opt array -> float -> float -> float -> float -> int array -> string array -> int array -> int array -> float array -> float array -> int array -> int array -> float array -> int array -> float array -> int array -> string array -> float * float = \"ml_pllegend_byte\" \"ml_pllegend\"") +quote(mlmli, "external plcolorbar : plplot_colorbar_opt -> plplot_position_opt -> float -> float -> float -> float -> int -> int -> int -> float -> float -> int -> float -> plplot_colorbar_opt array -> string array -> string array -> float array -> int array -> float array array -> float * float = \"ml_plcolorbar_byte\" \"ml_plcolorbar\"")