forked from rescript-lang/rescript
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathjs_implementation.ml
192 lines (161 loc) · 6.61 KB
/
js_implementation.ml
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
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
(***********************************************************************)
(* *)
(* OCaml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2002 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the Q Public License version 1.0. *)
(* *)
(***********************************************************************)
(* adapted by bucklescript from [driver/compile.ml] for convenience *)
open Format
open Typedtree
open Compenv
let fprintf = Format.fprintf
let print_if ppf flag printer arg =
if !flag then fprintf ppf "%a@." printer arg;
arg
let after_parsing_sig ppf outputprefix ast =
if !Js_config.binary_ast then
begin
Binary_ast.write_ast
Mli
~sourcefile:!Location.input_name
~output:(outputprefix ^ if !Js_config.is_reason then Literals.suffix_reiast else Literals.suffix_mliast)
(* to support relocate to another directory *)
ast
end;
if !Js_config.syntax_only then
Warnings.check_fatal()
else
begin
if Js_config.get_diagnose () then
Format.fprintf Format.err_formatter "Building %s@." !Location.input_name;
let modulename = module_of_filename ppf !Location.input_name outputprefix in
Lam_compile_env.reset () ;
let initial_env = Compmisc.initial_env () in
Env.set_unit_name modulename;
let tsg = Typemod.type_interface
#if OCAML_VERSION =~ ">4.03.0" then
!Location.input_name
#end
initial_env ast in
if !Clflags.dump_typedtree then fprintf ppf "%a@." Printtyped.interface tsg;
let sg = tsg.sig_type in
if !Clflags.print_types then
Printtyp.wrap_printing_env initial_env (fun () ->
fprintf std_formatter "%a@."
Printtyp.signature (Typemod.simplify_signature sg));
ignore (Includemod.signatures initial_env sg sg);
Typecore.force_delayed_checks ();
Warnings.check_fatal ();
if not !Clflags.print_types then begin
#if OCAML_VERSION =~ ">4.03.0" then
let deprecated = Builtin_attributes.deprecated_of_sig ast in
let sg =
Env.save_signature ~deprecated sg modulename (outputprefix ^ ".cmi")
in
#else
let sg = Env.save_signature ?check_exists:(if !Js_config.force_cmi then None else Some ()) sg modulename (outputprefix ^ ".cmi") in
#end
Typemod.save_signature modulename tsg outputprefix !Location.input_name
initial_env sg ;
end
end
let interface ppf sourcefile outputprefix =
Compmisc.init_path false;
Ocaml_parse.parse_interface ppf sourcefile
|> print_if ppf Clflags.dump_parsetree Printast.interface
|> print_if ppf Clflags.dump_source Pprintast.signature
|> after_parsing_sig ppf outputprefix
let interface_mliast ppf fname outputprefix =
Compmisc.init_path false;
Binary_ast.read_ast Mli fname
|> print_if ppf Clflags.dump_parsetree Printast.interface
|> print_if ppf Clflags.dump_source Pprintast.signature
|> after_parsing_sig ppf outputprefix
let get_lambda = fun
#if OCAML_VERSION =~ ">4.03.0" then
{code = lambda}
#else
lambda
#end -> lambda
let after_parsing_impl ppf outputprefix ast =
if !Js_config.binary_ast then
Binary_ast.write_ast ~sourcefile:!Location.input_name
Ml ~output:(outputprefix ^
if !Js_config.is_reason then Literals.suffix_reast else Literals.suffix_mlast
)
ast ;
if !Js_config.syntax_only then
Warnings.check_fatal ()
else
begin
if Js_config.get_diagnose () then
Format.fprintf Format.err_formatter "Building %s@." !Location.input_name;
let modulename = Ext_filename.module_name outputprefix in
Lam_compile_env.reset () ;
let env = Compmisc.initial_env() in
Env.set_unit_name modulename;
let (typedtree, coercion, finalenv, current_signature) =
ast
|> Typemod.type_implementation_more ?check_exists:(if !Js_config.force_cmi then None else Some ()) !Location.input_name outputprefix modulename env
|> print_if ppf Clflags.dump_typedtree
(fun fmt (ty,co,_,_) -> Printtyped.implementation_with_coercion fmt (ty,co))
in
if !Clflags.print_types || !Js_config.cmi_only then begin
Warnings.check_fatal ();
end else begin
(typedtree, coercion)
|> Translmod.transl_implementation modulename
|> (fun lambda ->
print_if ppf Clflags.dump_rawlambda Printlambda.lambda (get_lambda lambda)
|>
Lam_compile_main.lambda_as_module
finalenv
outputprefix
);
end;
Stypes.dump (Some (outputprefix ^ ".annot"));
end
let implementation ppf fname outputprefix =
Compmisc.init_path false;
Ocaml_parse.parse_implementation ppf fname
|> print_if ppf Clflags.dump_parsetree Printast.implementation
|> print_if ppf Clflags.dump_source Pprintast.structure
|> after_parsing_impl ppf outputprefix
let implementation_mlast ppf fname outputprefix =
Compmisc.init_path false;
Binary_ast.read_ast Ml fname
|> print_if ppf Clflags.dump_parsetree Printast.implementation
|> print_if ppf Clflags.dump_source Pprintast.structure
|> after_parsing_impl ppf outputprefix
let make_structure_item ~ns cunit : Parsetree.structure_item =
let open Ast_helper in
let loc = Location.none in
Str.module_
(Mb.mk {txt = cunit; loc }
(Mod.ident
{txt = Lident
( Ext_namespace.make ~ns cunit)
; loc}))
(** decoding [.mlmap]
keep in sync {!Bsb_namespace_map_gen.output}
*)
let implementation_map ppf sourcefile outputprefix =
let ichan = open_in_bin sourcefile in
seek_in ichan (Ext_digest.length +1);
let list_of_modules = Ext_io.rev_lines_of_chann ichan in
close_in ichan;
let ns = Ext_filename.module_name sourcefile in
let ml_ast = Ext_list.fold_left list_of_modules [] (fun acc line ->
if Ext_string.is_empty line then acc
else make_structure_item ~ns line :: acc
) in
Compmisc.init_path false;
ml_ast
|> print_if ppf Clflags.dump_parsetree Printast.implementation
|> print_if ppf Clflags.dump_source Pprintast.structure
|> after_parsing_impl ppf outputprefix