4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
6 <title>MLLPTLibrary</title>
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
19 <body class="article">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
30 <div class="sectionbody">
31 <div class="paragraph"><p>The
32 <a href="http://smlnj-gforge.cs.uchicago.edu/projects/ml-lpt/">ML-LPT Library</a>
33 is a support library for the <a href="MLULex">MLULex</a> scanner generator and the
34 <a href="MLAntlr">MLAntlr</a> parser generator. The ML-LPT Library is distributed with
36 <div class="paragraph"><p>As of 20180119, MLton includes the ML-LPT Library synchronized with
37 SML/NJ version 110.82.</p></div>
41 <h2 id="_usage">Usage</h2>
42 <div class="sectionbody">
43 <div class="ulist"><ul>
46 You can import the ML-LPT Library into an MLB file with:
48 <table class="tableblock frame-all grid-all"
52 <col style="width:50%;">
53 <col style="width:50%;">
56 <th class="tableblock halign-left valign-top" >MLB file</th>
57 <th class="tableblock halign-left valign-top" >Description</th>
62 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">$(SML_LIB)/mllpt-lib/mllpt-lib.mlb</span></p></td>
63 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
70 If you are porting a project from SML/NJ’s <a href="CompilationManager">CompilationManager</a> to
71 MLton’s <a href="MLBasis"> ML Basis system</a> using <span class="monospaced">cm2mlb</span>, note that the
72 following map is included by default:
74 <div class="listingblock">
75 <div class="content monospaced">
77 $ml-lpt-lib.cm $(SML_LIB)/mllpt-lib
78 $ml-lpt-lib.cm/ml-lpt-lib.cm $(SML_LIB)/mllpt-lib/mllpt-lib.mlb</pre>
80 <div class="paragraph"><p>This will automatically convert a <span class="monospaced">$/mllpt-lib.cm</span> import in an input
81 <span class="monospaced">.cm</span> file into a <span class="monospaced">$(SML_LIB)/mllpt-lib/mllpt-lib.mlb</span> import in the
82 output <span class="monospaced">.mlb</span> file.</p></div>
88 <h2 id="_details">Details</h2>
89 <div class="sectionbody">
90 <div class="paragraph"><p></p></div>
94 <h2 id="_patch">Patch</h2>
95 <div class="sectionbody">
96 <div class="ulist"><ul>
99 <a href="https://github.com/MLton/mlton/blob/master/lib/mllpt-lib/ml-lpt.patch"><span class="monospaced">ml-lpt.patch</span></a>
106 <div id="footnotes"><hr></div>
108 <div id="footer-text">
110 <div id="footer-badges">