Fails on Printf

Oh Man avatarOh Man created an issue

$ ocaml -version The OCaml toplevel, version 4.00.0

./ocamlspot /home/foo/ocamlspot/spotconfig.ml:l25c12 Pathreparse: not supported: Printf.sprintf (File "ext.ml", line 42, characters 2 Use: Value, Printf0.sprintf4 Type: (string -> string -> string, unit, string) format -> string -> string -> string XType: (string -> string -> string, unit, string) formatG -> string -> string -> string At: Expr Tree: l25c2b1039:l25c16b1053 XTree: </home/foo/ocamlspot/spotconfig.ml:l25c2b1039:l25c16b1053> In_module: Printf.cmt load failed. Try to load Printf.cmti LOAD FAILURE Printf0: Failure("cmt file not found: Printf.cmt\ncmt file not fo Error: cmt file not found: Printf.cmt cmt file not found: Printf.cmti BYE!

I got the 4.0 branch, like you documented. I had expected a non-failure response. Perhaps this is an intended result, but then I would like to know how how to compile OCaml such that it works according to how you designed it.

This was the simplest possible test I could think of and it didn't work, so I am marking it blocker.

Comments (4)

  1. camlspotter

    This is since you have no cmt files for your OCaml compiler standard library. To spotting definitions of stdlib modules, you need recompile the library with -bin-annot option, then install cmt files along with cmi files. This is a documentation issue rather than a code bug. I try to clarify this point in the doc.

  2. Log in to comment
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.