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
|
(* Js_of_ocaml compiler
* http://www.ocsigen.org/js_of_ocaml/
* Copyright (C) 2013 Hugo Heuzard
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, with linking exception;
* either version 2.1 of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*)
open! Stdlib
open Javascript
class type mapper = object
method loc : Javascript.location -> Javascript.location
method parse_info : Parse_info.t -> Parse_info.t
method expression : expression -> expression
method expression_o : expression option -> expression option
method switch_case : expression -> expression
method block : Javascript.statement_list -> Javascript.statement_list
method fun_decl : Javascript.function_declaration -> Javascript.function_declaration
method class_decl : Javascript.class_declaration -> Javascript.class_declaration
method class_element : Javascript.class_element -> Javascript.class_element
method initialiser : expression * location -> expression * location
method initialiser_o : (expression * location) option -> (expression * location) option
method for_binding :
Javascript.variable_declaration_kind
-> Javascript.for_binding
-> Javascript.for_binding
method binding_property : Javascript.binding_property -> Javascript.binding_property
method variable_declaration :
Javascript.variable_declaration_kind
-> Javascript.variable_declaration
-> Javascript.variable_declaration
method statement : statement -> statement
method statements : statement_list -> statement_list
method statement_o : (statement * location) option -> (statement * location) option
method ident : ident -> ident
method formal_parameter_list :
Javascript.formal_parameter_list -> Javascript.formal_parameter_list
method program : program -> program
method function_body : statement_list -> statement_list
method import : import -> import
method export : export -> export
end
class type iterator = object
method fun_decl : Javascript.function_declaration -> unit
method class_decl : Javascript.class_declaration -> unit
method early_error : Javascript.early_error -> unit
method expression : Javascript.expression -> unit
method expression_o : Javascript.expression option -> unit
method switch_case : Javascript.expression -> unit
method block : Javascript.statement_list -> unit
method initialiser : Javascript.expression * Javascript.location -> unit
method initialiser_o : (Javascript.expression * Javascript.location) option -> unit
method for_binding :
Javascript.variable_declaration_kind -> Javascript.for_binding -> unit
method variable_declaration :
Javascript.variable_declaration_kind -> Javascript.variable_declaration -> unit
method statement : Javascript.statement -> unit
method statement_o : (Javascript.statement * Javascript.location) option -> unit
method statements : Javascript.statement_list -> unit
method ident : Javascript.ident -> unit
method program : Javascript.program -> unit
method function_body : Javascript.statement_list -> unit
method import : import -> unit
method export : export -> unit
end
class map : mapper
class iter : iterator
class subst : (ident -> ident) -> object
inherit mapper
end
type t =
{ use : IdentSet.t
; def_var : IdentSet.t
; def_local : IdentSet.t
}
type block =
| Catch of formal_parameter
| Params of formal_parameter_list
| Normal
class type freevar = object ('a)
inherit mapper
method merge_info : 'a -> unit
method merge_block_info : 'a -> unit
method record_block : block -> unit
method def_var : ident -> unit
method def_local : Javascript.ident -> unit
method use_var : ident -> unit
method state : t
method get_count : int IdentMap.t
method get_free : IdentSet.t
method get_def : IdentSet.t
method get_use : IdentSet.t
end
class free : freevar
type scope =
| Module
| Lexical_block
| Fun_block of ident option
class rename_variable : esm:bool -> object ('a)
inherit mapper
method update_state : scope -> Javascript.ident list -> Javascript.statement_list -> 'a
end
class share_constant : mapper
class compact_vardecl : object ('a)
inherit map
method pack : Javascript.statement_list -> Javascript.statement_list
end
class clean : mapper
class simpl : mapper
|
