Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Absolute name for built-in types such as int, bool, ... ? #5072
Original bug ID: 5072
As said in the documentation of the core library:
Well, there are rare situations where it would be handy to have
module MyPervasives = struct
But it would be nice to have something like that by default.
(By the way, as illustrated above, it's really painful to have only
Maybe this disambiguation need is really specific to my own parish, which is
Comment author: @garrigue
This is a actually a problem for the ocaml compiler developers too...
The reason these types are not in Pervarsives is that they are used internally by the compiler, and they need to be defined before reading Pervasives.
If somebody has a good solution for this problem, I am interested.
Comment author: @lpw25
We could just give them a longer name in the compiler (e.g.
We could also take this further by allowing a syntax for "external" types analoguous to how