Our labs have two installations of the SML/NJ compiler. You can use the one that is most convenient to you. In either case, you must have a CS account first.
Note: You can access our Linux workstations remotely if (and only if) you have a Secure Shell client software installed on your machine. Just type
At the Unix prompt type sml.
This will bring up the latest version of the SML/NJ interactive compiler. Once the interpreter is loaded you will be prompted for input. To run an ML expression you either type it directly at the ML prompt (-) or copy and past it from your editor of choice. Expressions can be typed over multiple lines by pressing the Enter key. If you press Enter before an expression is completed, the ML prompt will change into =. Make sure to end with a semicolon (;) each expression you want to evaluate.
Type Control-D to quit the compiler.
See the document Using the SML/NJ System, for for information on how to use the compiler, interpret its error messages, load source files and so on. Although they are written for the SML installation at CMU, most of their content applies to our installation as well.Check this first for information about the Windows application server.
Once you are logged in, Launch the following application from the Start menu of the Windows desktop: Start|Programs|Development|ML|SML
This will bring up the latest version of the SML/NJ interactive compiler, which behaves like the one the Linux machines (except that you need to close the window to exit the compiler).