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
Reading and Processing a File Line by Line in C++
ByQ AIn C++, how to process a file line by line? The file is a plain text line like input.txt. As an example, the process can be to just print it out. In C++, you may open a input stream on the file and use the std::getline() function from the <string> to read content line by…
How to configure Linux to use the scanner in an HP all-in-one printer?
ByEric MaHow to configure Linux to use the scanner (not only the printer) in an HP all-in-one printer? The OS is Fedora 22 and the connection between the HP all-in-one printer and the PC is through wireless. The printer is working well. You can check this post for configuring the printer and scanner of HP All-In-One…
How to measure a function’s execution time in OCaml?
ByEric MaHow to measure the execution time of a function, say f: ‘a -> ‘b in OCaml? This small OCaml function is handy: let time f = let t = Unix.gettimeofday () in let res = f () in Printf.printf “Execution time: %f secondsn” (Unix.gettimeofday () -. t); res ;; The gettimeofday returns a float representing…
New Mingle Forum Class
ByQ AHi , Thank you for your recommendation for removing the canonical link for the forum page only. However, I am am not able to find the following code in the wpf.class.php and was hoping you let us know where we can find this class so that we can modify it accordingly. (Does -1260 refer to…
Other Mobile Messengers Like WhatsApp
ByEric MaWhat other mobile messengers like WhatsApp in the market? Messneger Apps focusing on mobile phones WhatsApp: http://www.whatsapp.com/ WeChat: http://www.wechat.com/en/ Kik: http://kik.com/ Kakao Talk: http://www.kakao.com/talk/en LINE: http://line.me/en/ Other “general” messengers that also have mobile clients Google Hangouts: http://www.google.com/ /learnmore/hangouts/ Facebook Messenger: https://www.facebook.com/mobile/messenger Skype: http://www.skype.com/en/download-skype/skype-for-mobile/ Read more: How to Use WhatsApp on iPad or iPod Touch How…
Emacs highlighting part of lines that go over 80 chars
ByEric MaHow to make Emacs highlighting part of lines that go over 80 chars? I use the whitespace mode: ;; `lines-tail`, highlight the part that goes beyond the ;; limit of `whitespace-line-column` (require ‘whitespace) (setq whitespace-style ‘(face empty tabs lines-tail trailing)) (global-whitespace-mode t) More: https://github.com/zma/emacs-config/blob/master/.emacs Alternatively, you can run highlight-lines-matching-regexp with the expression .{81}. http://stackoverflow.com/questions/6344474/how-can-i-make-emacs-highlight-lines-that-go-over-80-chars Read…