Don't accept label for while

Author: DZakh

jscomp/core/js_stmt_make.ml

@@ -318,9 +318,9 @@ let if_ ?comment ?declaration ?else_ (e : J.expression) (then_ : J.block) : t =
 let assign ?comment id e : t =
   { statement_desc = J.Exp (E.assign (E.var id) e); comment }
 
-let while_ ?comment ?label ?env (e : E.t) (st : J.block) : t =
+let while_ ?comment ?env (e : E.t) (st : J.block) : t =
   let env = match env with None -> Js_closure.empty () | Some x -> x in
-  { statement_desc = While (label, e, st, env); comment }
+  { statement_desc = While (None, e, st, env); comment }
 
 let for_ ?comment ?env for_ident_expression finish_ident_expression id direction
     (b : J.block) : t =
@@ -335,15 +335,6 @@ let for_ ?comment ?env for_ident_expression finish_ident_expression id direction
 let try_ ?comment ?with_ ?finally body : t =
   { statement_desc = Try (body, with_, finally); comment }
 
-(* TODO:
-    actually, only loops can be labelled
-*)
-(* let continue_stmt  ?comment   ?(label="") ()  : t =
-   {
-    statement_desc = J.Continue  label;
-    comment;
-   } *)
-
 let continue_ : t = { statement_desc = Continue None; comment = None }
 
 let debugger_block : t list = [ { statement_desc = Debugger; comment = None } ]

jscomp/core/js_stmt_make.mli

@@ -132,7 +132,6 @@ val assign : ?comment:string -> J.ident -> J.expression -> t
 
 val while_ :
   ?comment:string ->
-  ?label:J.label ->
   ?env:Js_closure.t ->
   J.expression ->
   J.block ->