eval-when-compile statements not running in files required by compiled file

Question

I've got one file including

(eval-when-compile (require 'cl))

Some other files require this file, and also need to have cl required when they are byte-compiled. This is not happening - this first file does not appear to know it is getting byte compiled, when it is required by other files that are getting byte compiled. Is there a way to craft an eval-when-compile statement in this first file, such that files that require it to also require cl when they are getting byte compiled?

EDIT: Context of the question:

When I download https://github.com/idris-hackers/idris-mode and run make build to byte compile, I get warnings in two separate files, idris-prover.el and idris-repl.el. Both of these files require inferior-idris.el which contains the line (eval-when-compile (require 'cl)). If I add that line to the two files, the warnings disappear. I am wondering if that would be the best solution to fix the warnings. Warnings include:

idris-prover.el:224:44:Warning: `:ok' called as a function
idris-prover.el:239:19:Warning: `:error' called as a function
idris-prover.el:253:67:Warning: `t' called as a function

Answer 1

Those warnings indicate actual bugs (from the warnings, I'd guess that the code uses cl.el's case macro) which make the resulting byte-code incorrect.

(eval-wnen-compile (require 'B)) applies only to the given file. Every file which uses cl.el's macros should have such a line (tho I'd argue that it should first be changed to use cl-lib instead, of course).