File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -374,7 +374,7 @@ let handle_attributes
374
374
{[ int -> int -> (int -> int -> int [@bs.uncurry])]}
375
375
It does not make sense
376
376
*)
377
- if has_bs_uncurry type_annotation.Parsetree. ptyp_attributes then
377
+ if has_bs_uncurry type_annotation.ptyp_attributes then
378
378
begin
379
379
Location. raise_errorf
380
380
~loc " [@@bs.uncurry] can not be applied to the whole definition"
@@ -384,7 +384,8 @@ let handle_attributes
384
384
if String. length prim_name = 0 then `Nm_val pval_prim
385
385
else `Nm_external prim_name (* need check name *)
386
386
in
387
- let result_type, arg_types_ty =
387
+ let result_type, arg_types_ty =
388
+ (* Note this assumes external type is syntatic (no abstraction)*)
388
389
Ast_core_type. list_of_arrow type_annotation in
389
390
if has_bs_uncurry result_type.ptyp_attributes then
390
391
begin
You can’t perform that action at this time.
0 commit comments