Right now, the interpreter only interprets the top-level module, loading dependent modules as pre-compiled OCaml libraries. But for certain applications (like concolic testing or the explanation plugin), we need to access the source code of all dependent modules as well. The Catala compiler should thus have an option for whole-program compilation that fetches the source Catala files of all dependent modules.
Right now, the interpreter only interprets the top-level module, loading dependent modules as pre-compiled OCaml libraries. But for certain applications (like concolic testing or the explanation plugin), we need to access the source code of all dependent modules as well. The Catala compiler should thus have an option for whole-program compilation that fetches the source Catala files of all dependent modules.