:load gives "Unrecognised command." when the filename isn't quoted

[MarcelineVQ]

Idris 2, version 0.3.0-5b5bdfe76

Steps to Reproduce

In a repl type each and note the difference:

:load foo.idr
:load "foo.idr"

Expected Behavior

Expect file to load (if it exists) when written either way. Or clearer message to be given since the command is valid and it's the argument that may be wrong.

Observed Behavior

:load gives "Unrecognised command." when the filename isn't quoted and the expected "Error loading file foo.idr: File Not Found" otherwise.

[gallais]

Cf. #1061

Leaving this open as error messages are pretty terrible in the REPL.

[jfdm]

I encountered this, this morning, when updating Idris2. I think the change (also seen with cd) breaks the IDE protocol. I sent a message to the mailing list about compatibility of Idris2 and the IDE protocol.