Is this possible to have several development environments, which share the same compiler?
Actually, I want to use 4.00.1+short-types compiler with different set of installed packages, and the possibility to easily switch between these environments. opam switch only allows me to switch between compilers if I didn't miss something.
I suppose the solution is to create new switches that are aliases of the one you're interested in, using the opam switch install <name> --alias-of <switch> command described in the Usage document.