Hello! I use ocaml 3.09.3 and hol light 2.20. After entering #use "hol.ml";; in ocaml toplevel I'd like to write some code which use module Map from the ocaml standard library. So I entered #use "map.ml";; but i got this error:
File "C:\Program Files\Objective Caml\lib\map.ml", line 16, characters 7-23: Parse error: 'rec' or 'type' uppercase identifier '=' expected after 'module' (in [str_item]) Could somebody give me a help how to use standard library Map together with hol light? (And likely some other modules - Hashtbl, Set ...). Thanks for an answer. ------------------------------------------------------------------------------ Crystal Reports - New Free Runtime and 30 Day Trial Check out the new simplified licensing option that enables unlimited royalty-free distribution of the report engine for externally facing server and web deployment. http://p.sf.net/sfu/businessobjects _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
