The Coq mailing list

[Adam Chlipala <adamc AT hcoop.net>]

Ashish Darbari wrote:
> However having compiled these using ocaml compilers and loading (#use)
>
> the fMapAVL.ml I get an error message 
>
>
> The file ocaml and fMapList.cmi make inconsistent assumptions over 
> interface List

I expect that you extracted a file list.ml, which conflicts with [List] 
from the OCaml standard library.  Check out the [-pack] option to the 
OCaml compilers for a way to put your extracted modules in a separate 
namespace and avoid the clash.