Skip to content

Commit 42675b2

Browse files
bobzhangbobzhang
committed
support pattern match in uncurried function argument position
1 parent 2ad17ed commit 42675b2

29 files changed

+52904
-52635
lines changed

‎jscomp/core/bs_conditional_initial.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,7 @@
2727
(* Clflags.keep_locs := false; *)
2828
let setup_env () =
2929
Env.Persistent_signature.load := Bs_cmi_load.load_cmi;
30+
Translcore.wrap_single_field_record := Transl_single_field_record.wrap_single_field_record;
3031
Typemod.should_hide := Typemod_hide.should_hide;
3132
Clflags.no_std_include := true;
3233
Warnings.parse_options false Bsc_warnings.defaults_w;

‎jscomp/core/lam.ml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -275,7 +275,7 @@ let rec is_eta_conversion_exn
275275
| _, _, _ -> raise_notrace Not_simple_form
276276

277277
(** FIXME: more robust inlining check later, we should inline it before we add stub code*)
278-
let apply fn args loc status : t =
278+
let rec apply fn args loc status : t =
279279
match fn with
280280
| Lfunction {
281281
params;
@@ -322,6 +322,10 @@ let apply fn args loc status : t =
322322
Ext_list.fold_right2 (fun p arg acc ->
323323
Llet(Strict,p,arg,acc)
324324
) params args body *) (* TODO: more rigirous analysis on [let_kind] *)
325+
| Llet (kind,id, e, (Lfunction _ as fn)) ->
326+
Llet (kind, id, e, apply fn args loc status)
327+
(* | Llet (kind0, id0, e0, Llet (kind,id, e, (Lfunction _ as fn))) ->
328+
Llet(kind0,id0,e0,Llet (kind, id, e, apply fn args loc status)) *)
325329
| _ ->
326330
Lapply { ap_func = fn; ap_args = args; ap_loc = loc ; ap_status = status }
327331

‎jscomp/core/transl_single_field_record.ml

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
(* Copyright (C) 2020 - Authors of BuckleScript
2+
*
3+
* This program is free software: you can redistribute it and/or modify
4+
* it under the terms of the GNU Lesser General Public License as published by
5+
* the Free Software Foundation, either version 3 of the License, or
6+
* (at your option) any later version.
7+
*
8+
* In addition to the permissions granted to you by the LGPL, you may combine
9+
* or link a "work that uses the Library" with a publicly distributed version
10+
* of this file to produce a combined library or application, then distribute
11+
* that combined work under the terms of your choosing, with no requirement
12+
* to comply with the obligations normally placed on you by section 4 of the
13+
* LGPL version 3 (or the corresponding section of a later version of the LGPL
14+
* should you choose to use a later version).
15+
*
16+
* This program is distributed in the hope that it will be useful,
17+
* but WITHOUT ANY WARRANTY; without even the implied warranty of
18+
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19+
* GNU Lesser General Public License for more details.
20+
*
21+
* You should have received a copy of the GNU Lesser General Public License
22+
* along with this program; if not, write to the Free Software
23+
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
24+
25+
26+
let wrap_single_field_record loc lbl_name (lambda : Lambda.lambda) : Lambda.lambda =
27+
if lbl_name.[0] = 'I' then
28+
let arity_s = String.sub lbl_name 1 (String.length lbl_name - 1) in
29+
Lprim (
30+
Pccall (Primitive.make ~name:"#fn_mk" ~alloc:true ~native_name:arity_s ~native_repr_args:[Same_as_ocaml_repr] ~native_repr_res: Same_as_ocaml_repr), [lambda],loc)
31+
else lambda

‎jscomp/main/builtin_cmi_datasets.ml

Lines changed: 111 additions & 111 deletions
Large diffs are not rendered by default.

‎jscomp/others/js_OO.ml

Lines changed: 44 additions & 44 deletions
Original file line numberDiff line numberDiff line change
@@ -29,139 +29,139 @@ external unsafe_to_method : 'a -> 'a = "#fn_method"
2929
(**/**)
3030
module Callback = struct
3131
type 'a arity1 = {
32-
i : 'a [@internal]
32+
i1 : 'a [@internal]
3333
}
3434
type 'a arity2 = {
35-
i : 'a [@internal]
35+
i2 : 'a [@internal]
3636
}
3737
type 'a arity3 = {
38-
i : 'a [@internal]
38+
i3 : 'a [@internal]
3939
}
4040
type 'a arity4 = {
41-
i : 'a [@internal]
41+
i4 : 'a [@internal]
4242
}
4343
type 'a arity5 = {
44-
i : 'a [@internal]
44+
i5 : 'a [@internal]
4545
}
4646
type 'a arity6 = {
47-
i : 'a [@internal]
47+
i6 : 'a [@internal]
4848
}
4949
type 'a arity7 = {
50-
i : 'a [@internal]
50+
i7 : 'a [@internal]
5151
}
5252
type 'a arity8 = {
53-
i : 'a [@internal]
53+
i8 : 'a [@internal]
5454
}
5555
type 'a arity9 = {
56-
i : 'a [@internal]
56+
i9 : 'a [@internal]
5757
}
5858
type 'a arity10 = {
59-
i : 'a [@internal]
59+
i10 : 'a [@internal]
6060
}
6161
type 'a arity11 = {
62-
i : 'a [@internal]
62+
i11 : 'a [@internal]
6363
}
6464
type 'a arity12 = {
65-
i : 'a [@internal]
65+
i12 : 'a [@internal]
6666
}
6767
type 'a arity13 = {
68-
i : 'a [@internal]
68+
i13 : 'a [@internal]
6969
}
7070
type 'a arity14 = {
71-
i : 'a [@internal]
71+
i14 : 'a [@internal]
7272
}
7373
type 'a arity15 = {
74-
i : 'a [@internal]
74+
i15 : 'a [@internal]
7575
}
7676
type 'a arity16 = {
77-
i : 'a [@internal]
77+
i16 : 'a [@internal]
7878
}
7979
type 'a arity17 = {
80-
i : 'a [@internal]
80+
i17 : 'a [@internal]
8181
}
8282
type 'a arity18 = {
83-
i : 'a [@internal]
83+
i18 : 'a [@internal]
8484
}
8585
type 'a arity19 = {
86-
i : 'a [@internal]
86+
i19 : 'a [@internal]
8787
}
8888
type 'a arity20 = {
89-
i : 'a [@internal]
89+
i20 : 'a [@internal]
9090
}
9191
type 'a arity21 = {
92-
i : 'a [@internal]
92+
i21 : 'a [@internal]
9393
}
9494
type 'a arity22 = {
95-
i : 'a [@internal]
95+
i22 : 'a [@internal]
9696
}
9797
end
9898
module Meth = struct
9999
type + 'a arity0
100100
type 'a arity1 = {
101-
i : 'a [@internal]
101+
i1 : 'a [@internal]
102102
}
103103
type 'a arity2 = {
104-
i : 'a [@internal]
104+
i2 : 'a [@internal]
105105
}
106106
type 'a arity3 = {
107-
i : 'a [@internal]
107+
i3 : 'a [@internal]
108108
}
109109
type 'a arity4 = {
110-
i : 'a [@internal]
110+
i4 : 'a [@internal]
111111
}
112112
type 'a arity5 = {
113-
i : 'a [@internal]
113+
i5 : 'a [@internal]
114114
}
115115
type 'a arity6 = {
116-
i : 'a [@internal]
116+
i6 : 'a [@internal]
117117
}
118118
type 'a arity7 = {
119-
i : 'a [@internal]
119+
i7 : 'a [@internal]
120120
}
121121
type 'a arity8 = {
122-
i : 'a [@internal]
122+
i8 : 'a [@internal]
123123
}
124124
type 'a arity9 = {
125-
i : 'a [@internal]
125+
i9 : 'a [@internal]
126126
}
127127
type 'a arity10 = {
128-
i : 'a [@internal]
128+
i10 : 'a [@internal]
129129
}
130130
type 'a arity11 = {
131-
i : 'a [@internal]
131+
i11 : 'a [@internal]
132132
}
133133
type 'a arity12 = {
134-
i : 'a [@internal]
134+
i12 : 'a [@internal]
135135
}
136136
type 'a arity13 = {
137-
i : 'a [@internal]
137+
i13 : 'a [@internal]
138138
}
139139
type 'a arity14 = {
140-
i : 'a [@internal]
140+
i14 : 'a [@internal]
141141
}
142142
type 'a arity15 = {
143-
i : 'a [@internal]
143+
i15 : 'a [@internal]
144144
}
145145
type 'a arity16 = {
146-
i : 'a [@internal]
146+
i16 : 'a [@internal]
147147
}
148148
type 'a arity17 = {
149-
i : 'a [@internal]
149+
i17 : 'a [@internal]
150150
}
151151
type 'a arity18 = {
152-
i : 'a [@internal]
152+
i18 : 'a [@internal]
153153
}
154154
type 'a arity19 = {
155-
i : 'a [@internal]
155+
i19 : 'a [@internal]
156156
}
157157
type 'a arity20 = {
158-
i : 'a [@internal]
158+
i20 : 'a [@internal]
159159
}
160160
type 'a arity21 = {
161-
i : 'a [@internal]
161+
i21 : 'a [@internal]
162162
}
163163
type 'a arity22 = {
164-
i : 'a [@internal]
164+
i22 : 'a [@internal]
165165
}
166166
end
167167

‎jscomp/runtime/js.ml

Lines changed: 22 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -59,70 +59,70 @@ type +'a t
5959
module Fn = struct
6060
type + 'a arity0
6161
type 'a arity1 = {
62-
i : 'a [@internal]
62+
i1 : 'a [@internal]
6363
}
6464
type 'a arity2 = {
65-
i : 'a [@internal]
65+
i2 : 'a [@internal]
6666
}
6767
type 'a arity3 = {
68-
i : 'a [@internal]
68+
i3 : 'a [@internal]
6969
}
7070
type 'a arity4 = {
71-
i : 'a [@internal]
71+
i4 : 'a [@internal]
7272
}
7373
type 'a arity5 = {
74-
i : 'a [@internal]
74+
i5 : 'a [@internal]
7575
}
7676
type 'a arity6 = {
77-
i : 'a [@internal]
77+
i6 : 'a [@internal]
7878
}
7979
type 'a arity7 = {
80-
i : 'a [@internal]
80+
i7 : 'a [@internal]
8181
}
8282
type 'a arity8 = {
83-
i : 'a [@internal]
83+
i8 : 'a [@internal]
8484
}
8585
type 'a arity9 = {
86-
i : 'a [@internal]
86+
i9 : 'a [@internal]
8787
}
8888
type 'a arity10 = {
89-
i : 'a [@internal]
89+
i10 : 'a [@internal]
9090
}
9191
type 'a arity11 = {
92-
i : 'a [@internal]
92+
i11 : 'a [@internal]
9393
}
9494
type 'a arity12 = {
95-
i : 'a [@internal]
95+
i12 : 'a [@internal]
9696
}
9797
type 'a arity13 = {
98-
i : 'a [@internal]
98+
i13 : 'a [@internal]
9999
}
100100
type 'a arity14 = {
101-
i : 'a [@internal]
101+
i14 : 'a [@internal]
102102
}
103103
type 'a arity15 = {
104-
i : 'a [@internal]
104+
i15 : 'a [@internal]
105105
}
106106
type 'a arity16 = {
107-
i : 'a [@internal]
107+
i16 : 'a [@internal]
108108
}
109109
type 'a arity17 = {
110-
i : 'a [@internal]
110+
i17 : 'a [@internal]
111111
}
112112
type 'a arity18 = {
113-
i : 'a [@internal]
113+
i18 : 'a [@internal]
114114
}
115115
type 'a arity19 = {
116-
i : 'a [@internal]
116+
i19 : 'a [@internal]
117117
}
118118
type 'a arity20 = {
119-
i : 'a [@internal]
119+
i20 : 'a [@internal]
120120
}
121121
type 'a arity21 = {
122-
i : 'a [@internal]
122+
i21 : 'a [@internal]
123123
}
124124
type 'a arity22 = {
125-
i : 'a [@internal]
125+
i22 : 'a [@internal]
126126
}
127127
end
128128

‎jscomp/syntax/ast_literal.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -59,7 +59,7 @@ module Lid = struct
5959
Ldot (js_oo, "Callback")
6060
let js_obj : t = Ldot (Lident "Js", "t")
6161
let ignore_id : t = Ldot (Lident "Pervasives", "ignore")
62-
let hidden_field : t = Lident "I"
62+
let hidden_field n : t = Lident ("I" ^ n)
6363
let js_null : t = Ldot (Lident "Js", "null")
6464
let js_undefined : t = Ldot (Lident "Js", "undefined")
6565
let js_null_undefined : t = Ldot (Lident "Js", "null_undefined")

‎jscomp/syntax/ast_literal.mli

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ module Lid : sig
4141
val js_meth : t
4242
val js_meth_callback : t
4343
val js_obj : t
44-
val hidden_field : t
44+
val hidden_field : string -> t
4545
val ignore_id : t
4646
val js_null : t
4747
val js_undefined : t

‎jscomp/syntax/ast_uncurry_apply.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,7 @@ let generic_apply loc
6666
[(Nolabel, Exp.field ~loc
6767
(Exp.constraint_ ~loc fn
6868
(Typ.constr ~loc {txt = Ldot (Ast_literal.Lid.js_fn, "arity"^arity_s);loc}
69-
[Typ.any ~loc ()])) {txt = Ast_literal.Lid.hidden_field; loc})])
69+
[Typ.any ~loc ()])) {txt = Ast_literal.Lid.hidden_field arity_s; loc})])
7070
args])
7171

7272
let method_apply loc
@@ -100,7 +100,7 @@ let method_apply loc
100100
Exp.field ~loc
101101
(Exp.constraint_ ~loc
102102
fn (Typ.constr ~loc {txt = Ldot (Ast_literal.Lid.js_meth,"arity"^arity_s);loc} [Typ.any ~loc ()]))
103-
{loc; txt = Ast_literal.Lid.hidden_field})])
103+
{loc; txt = Ast_literal.Lid.hidden_field arity_s})])
104104
args])
105105

106106

‎jscomp/syntax/ast_uncurry_gen.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,7 @@ let to_method_callback loc (self : Bs_ast_mapper.mapper)
5656
(Exp.constraint_ ~loc
5757
(Exp.record ~loc [{
5858
loc ;
59-
txt = Ast_literal.Lid.hidden_field},body]
59+
txt = Ast_literal.Lid.hidden_field arity_s},body]
6060
None)
6161
(Typ.constr ~loc {loc; txt = Ldot (Ast_literal.Lid.js_meth_callback, "arity"^arity_s)} [Typ.any ~loc ()] )
6262
)])
@@ -101,7 +101,7 @@ let to_uncurry_fn loc (self : Bs_ast_mapper.mapper) (label : Asttypes.arg_label
101101
Parsetree.Pexp_constraint(
102102
Exp.record ~loc [
103103
{
104-
txt = Ast_literal.Lid.hidden_field;
104+
txt = Ast_literal.Lid.hidden_field arity_s;
105105
loc
106106
},body] None, Typ.constr ~loc {txt = Ldot (Ast_literal.Lid.js_fn,"arity"^arity_s);loc}
107107
[Typ.any ~loc ()]

0 commit comments

Comments
 (0)