Agda-2.3.2.2: test/interaction/Issue417.in
top_command (cmd_load currentFile []) -- Should be "A ≡ Set". top_command (cmd_infer_toplevel Normalised "unfold-A") -- Should be "A ≡ Set". top_command (cmd_infer_toplevel Instantiated "unfold-A")
top_command (cmd_load currentFile []) -- Should be "A ≡ Set". top_command (cmd_infer_toplevel Normalised "unfold-A") -- Should be "A ≡ Set". top_command (cmd_infer_toplevel Instantiated "unfold-A")