Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/cm/Doc/01-bt-intro.tex
ViewVC logotype

View of /sml/trunk/src/cm/Doc/01-bt-intro.tex

Parent Directory Parent Directory | Revision Log Revision Log

Revision 743 - (download) (as text) (annotate)
Thu Dec 7 15:31:24 2000 UTC (19 years, 9 months ago) by blume
File size: 918 byte(s)
merging changes from private branch
% -*- latex -*-


Compiler and interactive system for Standard ML of New Jersey
(SML/NJ)~\cite{appel91:sml} are for the most part written in Standard
ML~\cite{milner97}.  After the introduction of the new Compilation and
Library Manager (CM)~\cite{blume00:newcm}, the code has been
reorganized in such a way that the SML/NJ system itself works like any
other stand-alone ML program compiled by SML/NJ.

However, there are a few important differences between compiling an
ordinary ML program using CM and (re-)compiling the interactive system
itself.  These differences are handled by a special-purpose version of
the compilation manager: the bootstrap compiler.  The interface to
this bootstrap compiler is {\tt structure CMB}, exported from library
{\tt \$smlnj/cmb.cm}.

This document describes how to use the bootstrap compiler and also
explains what the differences to ordinary ML code are.

ViewVC Help
Powered by ViewVC 1.0.0