top_command (cmd_load currentFile []) top_command (cmd_infer_toplevel Normalised "Bar") -- Reload to test that pragmas are respected when interface files are -- used. top_command (cmd_load currentFile []) top_command (cmd_infer_toplevel Normalised "Bar")