Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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)> |