Giters

rdicosmo / parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.

Home Page:http://rdicosmo.github.io/parmap/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

yurivict opened this issue · comments

commented 
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