Xia Li-yao

I can't reproduce this. OCaml should be able to specialize functions when type-checking modules.

`char` is shadowed. `QuickChick` uses OCaml's primitive `char`, while `base/GHC/Char.v` defines the type `Definition Char := N` which extracts to `type char = int`.

A quick workaround is to declare `Extract Inlined Constant Char => "int".`

That's probably related to #20, #73, in which case we need to insert `thunkGen` to delay recursive calls.

> Does QuickChick has debug options which show the system commands it issues? Unfortunately there is no debug mode currently. However, as far as I can tell, the system commands...

Sounds like a good plan. `BSTTest.v` uses the `QuickChick` command at least, so that should do it.

On Windows `Sys.command` doesn't seem to accept chained commands, so the command `cd /tmp/QuickChick... ; ocamlbuild ...` is broken. The fix is probably to make direct (portable) syscalls instead of...

Oh yes, that does do what I want! The next obstacle is that `Filename.get_temp_dir` returns a windows path (starting with `C:\`) but cygwin doesn't like such paths (more precisely, when...

> I don't understand what you want to do with cygwin - to be future proof it should work without cygwin. Sorry, I was unclear. I don't mean to use...

Ok I'll try that next some time this week. I think I have a MinGW OCaml, because `opam switch` tells me the compiler is `ocaml-variants...+mingw64`?