The user can choose the name of the ml and mli file but they cannot choose the name of the c file, header file and json file.
(That is, they cannot pass the -o flag to futhark with --futhark-arg, because futhark-bindgen uses it too, and the user's input for -o is overridden by futhark-bindgen's choice of -o.)
It would be nice to be able to generate these files, say, all with the same name (the c file has the same name as the ml file)
The user can choose the name of the ml and mli file but they cannot choose the name of the c file, header file and json file.
(That is, they cannot pass the -o flag to futhark with --futhark-arg, because futhark-bindgen uses it too, and the user's input for -o is overridden by futhark-bindgen's choice of -o.)
It would be nice to be able to generate these files, say, all with the same name (the c file has the same name as the ml file)