1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
%=============================================================================%
% %
% A General-Purpose %
% Pretty-Printer %
% for the HOL System %
% %
%-----------------------------------------------------------------------------%
% %
% Filename: PP_parser.ml (Compiler for pretty-printing language) %
% Version: 1.1 %
% Author: Richard J. Boulton %
% Date: 5th August 1991 %
% %
% Special instructions: Requires PP_printer.ml to be pre-loaded. %
% %
%-----------------------------------------------------------------------------%
% %
% Load sub-files in the following order: %
% %
% pp_lang1_pp.ml %
% pp_lang2_pp.ml %
% lex.ml %
% syntax.ml %
% convert.ml %
% generate.ml %
% PP_to_ML.ml %
% %
%-----------------------------------------------------------------------------%
% %
% Changes history: %
% %
% Version 0.0 (pre-release), 23rd March 1990 %
% %
% No changes. %
% %
% Version 1.0, 11th December 1990 %
% %
% No changes. %
% %
% Version 1.1, 5th August 1991 %
% %
%=============================================================================%
%-----------------------------------------------------------------------------%
% Load the compiled code into ml. %
%-----------------------------------------------------------------------------%
let path st = library_pathname() ^ `/prettyp/PP_parser/` ^ st
and flag = get_flag_value `print_lib`
in map (\st. load(path st, flag))
[`pp_lang1_pp`;
`pp_lang2_pp`;
`lex`;
`syntax`;
`convert`;
`generate`;
`PP_to_ML`];;
%-----------------------------------------------------------------------------%
|
