• Guillaume Melquiond's avatar
    Fix for bug #21527. · 69e8633a
    Guillaume Melquiond authored
    When cloning a module using another module with a nullary symbol with some
    regions, these regions were no longer available to clone the declarations
    that were using them.
    69e8633a
Name
Last commit
Last update
..
mlw_decl.ml Loading commit data...
mlw_decl.mli Loading commit data...
mlw_dexpr.ml Loading commit data...
mlw_dexpr.mli Loading commit data...
mlw_driver.ml Loading commit data...
mlw_driver.mli Loading commit data...
mlw_exec.ml Loading commit data...
mlw_exec.mli Loading commit data...
mlw_expr.ml Loading commit data...
mlw_expr.mli Loading commit data...
mlw_interp.ml Loading commit data...
mlw_interp.mli Loading commit data...
mlw_main.ml Loading commit data...
mlw_main.mli Loading commit data...
mlw_module.ml Loading commit data...
mlw_module.mli Loading commit data...
mlw_ocaml.ml Loading commit data...
mlw_ocaml.mli Loading commit data...
mlw_pretty.ml Loading commit data...
mlw_pretty.mli Loading commit data...
mlw_ty.ml Loading commit data...
mlw_ty.mli Loading commit data...
mlw_typing.ml Loading commit data...
mlw_typing.mli Loading commit data...
mlw_wp.ml Loading commit data...
mlw_wp.mli Loading commit data...