PragmasRespected.in

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")