[@defaut <value>] seems broken

[toots]

Test:

type foo = {
  bar : string;
  foo : (int [@default 123]);
} [@@deriving yojson]

let () =
  try
    ignore(foo_of_yojson (Yojson.Safe.from_string {|{"bar":"baz"}|}))
  with
    | Ppx_yojson_conv_lib.Yojson_conv.Of_yojson_error (exn, _) ->
        Printf.printf "Error: %s\n%!" (Printexc.to_string exn);
        exit 1

Result:

Error: Failure("test.ml.foo_of_yojson: the following record elements were undefined: foo")

[ScottAlexanderCameron]

Answering in case anyone ends up searching for this, but the parenthesis around (int [@default 123]); are the cause of this error. The proper syntax should be foo : int; [@default 123]

eg:

open Ppx_yojson_conv_lib.Yojson_conv.Primitives

type foo = {
  bar : string;
  foo : int; [@default 123]    (* <-- this line *)
} [@@deriving yojson]

let () =
  try
    let foo = foo_of_yojson (Yojson.Safe.from_string {|{"bar":"baz"}|}) in
    Stdio.printf "{bar = \"%s\"; foo = %d}\n" foo.bar foo.foo
  with Ppx_yojson_conv_lib.Yojson_conv.Of_yojson_error (exn, _) ->
    Printf.printf "Error: %s\n%!" (Printexc.to_string exn);
    exit 1

output:

{bar = "baz"; foo = 123}