Skip to content

Fix uncaught exception with anonymous submodules#84

Merged
fantazio merged 2 commits into
LexiFi:masterfrom
david-maison-TrustInSoft:fix-uncaught-exn-list-tl
May 28, 2026
Merged

Fix uncaught exception with anonymous submodules#84
fantazio merged 2 commits into
LexiFi:masterfrom
david-maison-TrustInSoft:fix-uncaught-exn-list-tl

Conversation

@david-maison-TrustInSoft

Copy link
Copy Markdown
Contributor

An exception was raised when analyzing a module with

module _ = struct ... end
(* or *)
module _ = Functor_with_side_effects(X)

Feel free to cherry-pick or modify these commits as you wish.

@fantazio

Copy link
Copy Markdown
Collaborator

Good catch ! Thanks for fixing it.

Out of curiosity, what do you use the 1st pattern for ?

module _ = struct ... end

@fantazio fantazio merged commit 7dcf63e into LexiFi:master May 28, 2026
5 checks passed
@david-maison-TrustInSoft

Copy link
Copy Markdown
Contributor Author

Good catch ! Thanks for fixing it.

You’re welcome. Thank you as well for developing this tool, it helped us identify some interesting dead code on our side.

Out of curiosity, what do you use the 1st pattern for ?

I don’t use this pattern in real-world use cases; I only used it in the tests because it made the diff smaller since it also triggers the bug in the same way.

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.

2 participants