Original bug ID: 6704
Reporter: @whitequark
Status: acknowledged (set by @damiendoligez on 2015-01-08T23:01:05Z)
Resolution: open
Priority: normal
Severity: feature
Category: toplevel
Related to: #6692 #7589
Monitored by: @nojb @diml @dbuenzli

Bug description

The toplevel is expunged, which means that even if I require compiler-libs.common, I get duplicate modules that are often unusable due to:

1. exceptions having a different internal ID (this affects the entirety of Location),
2. mutable cells having different identity.

Since 4.02 now includes module aliases, would it be possible to have Toploop re-export the entirety of compiler-libs that it expunges?

toploop.ml:

    module Compiler_libs = struct
      module Location = Location
      ...
    end

This would greatly help those developing loadable modules that extend the toplevel, both the regular one and custom ones like utop (as utop is expunged in a similar way).