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/bt-01-intro.tex
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 840 - (download) (as text) (annotate)
Fri Jun 15 19:05:19 2001 UTC (18 years, 11 months ago) by blume
File size: 980 byte(s)
c-calls (and NLFFI) implementation for Sparc
% -*- latex -*-

\section{Introduction}

With the exception of the runtime system which is written in C,
compiler and interactive system for Standard ML of New Jersey
(SML/NJ)~\cite{appel91:sml} are themselves implemented in Standard
ML~\cite{milner97}.  When the new Compilation and Library Manager
(CM)~\cite{blume00:newcm} was introduced, all ML code of SML/NJ was
reorganized in such a way that the 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.  Its interface is
{\tt structure CMB}, exported from library {\tt \$smlnj/cmb.cm}.

This document describes how to use the bootstrap compiler and also
explains how bootstrapping the SML/NJ compiler differs from compiling
ordinary ML code.

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0