Support deriving functions with labeled arguments

jobjo / popper

Property-based testing at ease

ISC License

43 stars 1 forks source link

Closed jobjo closed 3 years ago

jobjo commented 3 years ago

The following is currently not supported:

type t = { run : name:string -> unit -> int } [@@deriving sample]

The problem is the labeled argument name.

vch9 commented 3 years ago

type t = { run : ~name -> unit -> int } [@@deriving sample] 
Is that type correct ? I don't understand how you can know the type for ~name

jobjo commented 3 years ago

Oops, that was a typo. Updated the description.

jobjo commented 3 years ago