Download RAISE Tool User Guide

Installation
156
should be placed anywhere you like. Make sure that whoever first runs SML on an sml file produced
from RSL has write access to the directory, as the first load will compile the RSL library.
You also need to set the environment variable RSLML_PATH to the directory containing them, e.g. /usr/local/sml/rslml
You can get your system administrator to set this up, or you can do it individually as follows. Use the
shell command
env | grep SHELL
to see what your login shell is: you should get something like SHELL=/bin/csh, showing it is csh, or some
variant of it, or SHELL=/bin/bash, showing it is bash. In the first case, edit your .cshrc file in your
home directory to include something like
setenv RSLML_PATH /usr/local/sml/rslml
In the second case, edit your .bash_profile file in your home directory to include something like
export RSLML_PATH=/usr/local/sml/rslml
In either case you will need to logout and login again for the environment variable RSLML_PATH to be set.
SML can be downloaded and unpacked from instructions and tar files obtainable from http://www.smlnj.org.
19.1.2
C++
The files
RSL_comp.h
RSL_list.cc
RSL_list.h
RSL_map.cc
RSL_map.h
RSL_prod.h
RSL_set.cc
RSL_set.h
RSL_text.h
RSL_typs.cc
RSL_typs.h
cpp_RSL.cc
cpp_RSL.h
cpp_io.cc
cpp_io.h
cpp_list.cc
cpp_list.h
Report No. 227, April 17, 2008
UNU-IIST, P.O. Box 3058, Macao