Where is the .mli files for Core
Where is the .mli files for Core installed by opam.
It is under
~/.opam/4.00.1/lib/core
where 4.00.1 is the version of OCaml used.
For example, date.mli is under ~/.opam/4.00.1/lib/core/date.mli.
Similar Posts
How to install node.js on Ubuntu/Linux Mint?
ByEric MaHow to install node.js on Ubuntu/Linux Mint? This is how I install node.js on Linux Mint: # aptitude install nodejs nodejs-legacy npm The nodejs-legacy makes sure the command node will invoke node.js. Read more: How to install node.js on Fedora? Finding Which Package Provides a File in Ubuntu Linux and Linux Mint How to parse…
How to force iPhone to reboot/restart/reset?
ByEric MaHow can I force iPhone to reboot/restart/reset when it locks up completely and does not response? To force an iPhone to restart: Press and hold the iPhone’s power key and home button together. Holding the two keys for around 10~15 seconds until the screen is turned off. Release the buttons once the screen lights up…
How to find out which function causes Exception “Stack_overflow” in OCaml
ByQ AMy OCaml program prints: Fetal error: Exception “Stack_overflow” without any further information. How to find out which function causes this “Stack_overflow” exception? First, recompile your OCaml program with -g. Second, rerun your OCaml program with OCAMLRUNPARAM=b and the backtrace will be printed out after the “Stack_overflow” exception. Read more: How to measure a function’s execution…
Git diff with long lines
ByEric MaI find git diff output is not easy to read when the text file contains long lines that is long enough to exceeds the screen size. We may not forbid the using the long lines for all files. How to handle lone lines in git diff better? Two possible methods to make git diff with…
How to backup iPhone on Linux?
ByEric MaHow to backup iPhone on Linux? Not using iTunes or Windows. You can backup iPhone using libimobiledevice. By the time I replied here, it supports up to iOS 7. Please check this post for a tutorial. Actually, the methods introduced can be used on Linux systems with the libimobiledevice installed. Backup iPhone: idevicebackup2 backup ~/iPhoneBackups/…
How to encode spaces in curl GET request URL on Linux?
ByEric MaThe problem is like this: I would like to send a GET request using curl and the content has spaces, such as curl “http://example.com/send?msg=hello world” The space and the “world” will be left away if this command is executed directory on Linux. How to encode spaces in curl request URL? You can use the –date-urlencode…