Module file with non standard filename can't have interface file #8485

Activity

1. cknitt commented on Oct 19, 2026

   

   cknitt

   on Oct 19, 2026

   Member

   More actions

   This works on current master: main.route.res together with main.route.resi builds cleanly and produces main.route.cmi (most likely since the module name derivation rework in #8797). Closing.

   🤖 Generated with Claude Code

   https://claude.ai/code/session_01Kr4cjoUi2f5VpMvE6wT9bo
2. cknitt

   closed this as completedon Oct 19, 2026