Question

I’m using emacs with SML plugin. I type C-c C-s to move to sml console. After that, I want to read file A.sml for import purpose.

use "A.sml";

but I will notice error:

[use failed: Io: openIn failed on “Pair.sml”, Win32TextPrimIO:openRd:
failed]

I know this error because emacs doesn’t know where to read this file. so, how we set directory or something else like that, so SML console can read this file. (can assume A.sml is stored D:\SML )

Thanks 🙂

Answer 1

Another way to do that is to load the file directly into the SML console with C-c C-l and skip the intermediate step of switching to SML console followed by use "A.sml". Loading with C-c C-l from A.sml will show something like this:

Load ML file: (default file.sml) ~/Directory/

Then press enter to load file.sml into the SML console.