ocaml - 結果を OCaml の文字列変数に入れる

Question

オフセットマップの値を出力するこの関数が機能しています。

let pretty_offsetmap_original lv fmt offsetmap =
  begin match offsetmap with
  | None ->  Format.fprintf fmt "<BOTTOM>"
  | Some off ->
    let typ = Some (typeOfLval lv)
    in
    Format.fprintf fmt "%a%a"
      pretty_lval_or_absolute lv
      (Cvalue.V_Offsetmap.pretty_typ typ) off
end

ここで、値を文字列変数に取得して、目的に合わせて変換したいと思います。に置き換えFormat.fprintf fmtましたPrintf.sprintfが、機能しません。コンパイル エラー:

Error: This expression has type
      Format.formatter -> Cvalue.V_Offsetmap.t -> unit
    but an expression was expected of type unit -> 'a -> string

Answer 1

残念ながら、あなたは正しいです:Format.sprintfは良い型を持っていません. Frama-C 内では、関数Pretty_utils.sfprintfは必要なことを正確に実行します。も参照してくださいPretty_utils.to_string。

Answer 2

Format.fprintfをFormat.sprintfnotに置き換える必要があるようですPrintf.sprintf。