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 make Emacs start up faster?
ByEric Ma
I use Emacs in consoles and start Emacs frequently (like check a file, edit it, close it and loop). However, Emacs seems take some time to start up especially some modes/extensions are used. How to make Emacs start up faster? I summarize my solution at this post: Making Emacs Startup Faster. The key is to…
Maximum allowed file path length for C programming on Linux?
ByEric Ma
When programming in C on Linux, it is common to allocate a buffer for storing the full path of a file. How to get a safe maximum size for allocating buffers for file paths? The header <linux/limits.h> includes macros for the path and file name length limits. On my system (Fedora 21), it is located…
How to not use concrete types in lambda function parameters in C++11?
ByEric Ma
C++11 requires that lambda function parameters be declared with concrete types. This is sometimes annoying. auto is really nice, especially when the type is complex like std::vector<std::string>::iterator is quite long to type. I know C++14 allows auto in lambda functions. But how to not use concrete types in lambda function parameters in C++11? In C++11,…
How to change the gnome keyring password?
ByQ A
I want to change the gnome keyring password. How to change it? You can change the keyring password in these steps (on gnome 3): Start seahorse $ seahorse Select “By keyring” in the “View” menu On the left side, right click the “Login keyring” item. You will find the “Change Password” option there. It will…
How to use ibus for inputting Chinese in Cinnamon on Fedora
ByQ A
How to use ibus for inputting Chinese in Cinnamon on Fedora 19? By default, ibus is not started. If I manually start it by run $ ibus-daemon The ibus daemon is started and an icon appears in the tray area. However, no Chinese is inputted to the programs even it is turned on in the…
ANSI C Grammar and ANSI C Grammar Specification in YACC
ByEric Ma
ANSI C is a standardized version of the C programming language that was introduced in 1989 by the American National Standards Institute (ANSI). The ANSI C standard defines the syntax and semantics of the C language, including its grammar. In this post, we will explore the ANSI C grammar in more detail. The ANSI C…