<d_bot>
<Et7f3> Other thing I tried is remove local abstract `return` and just use `'return` but I get type constructor would escape it scope
<d_bot>
<bnguyenv> No I don't think you can, there are no higher-kinded types in OCaml. You can put the type that you want as one of the GADT parameters to be able to return it though.
<d_bot>
<NULL> What you want is a parametric abstract type, or higher-kinded?
<d_bot>
<Et7f3> This what I tried with the second type
<d_bot>
<Et7f3> I think parametric abstract type
<d_bot>
<Et7f3> My goal is to keep timeout optional with default value to NoTimeout but erf
<d_bot>
<octachron> If you meant having a higher-kinded local abstract type, this is not possible and not well-defined in presence of type abbreviations . Consider `type 'a t = 'a * 'a option` `type 'a s = int * 'a` is `int * int option` an `int t` or an `int option s`?
<d_bot>
<Et7f3> I see `type 'a t = 'a * 'a option` but don't see `type 'a s = int * 'a` in my example.
<d_bot>
<octachron> Optional arguments are sugar for the standard option type, they must have the same type in the default case. You can have a gadt enhanced version of option that allows `Default` to have a narrower type, but without the optional argument syntax, it is probably simpler to let users use `NoTimeOut` directly.
<d_bot>
<Et7f3> Ok
mro has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
Haudegen has quit [Quit: Bin weg.]
olle has joined #ocaml
mg_ has quit [Quit: WeeChat 3.2.1]
mg has joined #ocaml
mro has quit [Remote host closed the connection]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 240 seconds]
<d_bot>
<cemerick> thanks, I'll take a look 🙂
mro has joined #ocaml
Haudegen has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
jlrnick has quit [Ping timeout: 256 seconds]
adanwan_ has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
shawnw has quit [Ping timeout: 256 seconds]
bobo_ has joined #ocaml
spip has quit [Ping timeout: 252 seconds]
waleee has joined #ocaml
humasect has quit [Remote host closed the connection]
<d_bot>
<monk> cross posting from #beginners but i translated linear-arithmetic deletion for persistent redblack trees from this racket paper if anyone is interested
<companion_cube>
> Modules, shrinking, and model-based testing of Patricia trees
<companion_cube>
oh well :D
<d_bot>
<undu> crowbar was helpful and fast in finding issues when run in qcheck style, I tried it with AFl for fuzzing but didn't find any additional errors. the tests where quite simplistic
<d_bot>
<monk> this is an awesome resource, thank you
<d_bot>
<zakkor> Any idea how to get rid of these kinds of warnings?