search

rdicosmo / parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
http://rdicosmo.github.io/parmap/
Other
94 stars 20 forks source link

Error (warning 16 [unerasable-optional-argument]): this optional argument cannot be erased. #106

Open yurivict opened 2 years ago

yurivict commented 2 years ago 
File "src/parmap.ml", line 105, characters 15-73:
105 | let redirect ?(path = (Printf.sprintf "/tmp/.parmap.%d" (Unix.getpid ()))) ~id =
                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error (warning 16 [unerasable-optional-argument]): this optional argument cannot be erased.

Version: 1.2.3 ocaml-4.12.0 FreeBSD 13