Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / src / MLLPTLibrary.adoc
1 MLLPTLibrary
2 ============
3
4 The
5 http://smlnj-gforge.cs.uchicago.edu/projects/ml-lpt/[ML-LPT Library]
6 is a support library for the <:MLULex:> scanner generator and the
7 <:MLAntlr:> parser generator. The ML-LPT Library is distributed with
8 SML/NJ.
9
10 As of 20180119, MLton includes the ML-LPT Library synchronized with
11 SML/NJ version 110.82.
12
13 == Usage ==
14
15 * You can import the ML-LPT Library into an MLB file with:
16 +
17 [options="header"]
18 |=====
19 |MLB file|Description
20 |`$(SML_LIB)/mllpt-lib/mllpt-lib.mlb`|
21 |=====
22
23 * If you are porting a project from SML/NJ's <:CompilationManager:> to
24 MLton's <:MLBasis: ML Basis system> using `cm2mlb`, note that the
25 following map is included by default:
26 +
27 ----
28 # MLLPT Library
29 $ml-lpt-lib.cm $(SML_LIB)/mllpt-lib
30 $ml-lpt-lib.cm/ml-lpt-lib.cm $(SML_LIB)/mllpt-lib/mllpt-lib.mlb
31 ----
32 +
33 This will automatically convert a `$/mllpt-lib.cm` import in an input
34 `.cm` file into a `$(SML_LIB)/mllpt-lib/mllpt-lib.mlb` import in the
35 output `.mlb` file.
36
37 == Details ==
38
39 {empty}
40
41 == Patch ==
42
43 * <!ViewGitFile(mlton,master,lib/mllpt-lib/ml-lpt.patch)>