Skip to content

Improve incl_same_name - #93

Open
fantazio wants to merge 1 commit into
LexiFi:masterfrom
fantazio:name_conflict
Open

Improve incl_same_name#93
fantazio wants to merge 1 commit into
LexiFi:masterfrom
fantazio:name_conflict

Conversation

@fantazio

@fantazio fantazio commented Aug 5, 2026

Copy link
Copy Markdown
Collaborator

The examples/docs/exported_values/incl_same_name was only testing a simple case, corresponding to #55 (with Oo instead of List).

This PR extends the test to more cases:

  • whether the original module has an mli or not,
  • whether the new module does (using include module type of if it does),
  • and the very corner case of the new module exporting the same value as the original one and at the same location.

The use of Oo is now redundant. Thus, it is removed.
The to_incl subdirectory contains the "original" modules, with and without .mli. The incl_{with|without}_intf define new modules, with and without .mli, which include and are name the same as the original ones.

The test was very trivial, only relying on `Stdlib.Oo`.
It has been enhanced to be self sustainable and expose the behavior for
cases with and without a .mli for the original module and for the new
module.
`Oo` is now redundant with the more complete tests. Thus, it is removed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant