|
@@ -204,7 +204,7 @@ let for_to_while node =
|
|
|
)), ann));
|
|
)), ann));
|
|
|
]
|
|
]
|
|
|
|
|
|
|
|
- (* DISABLED, while-loops are explicittly supported by the assembly phase
|
|
|
|
|
|
|
+ (* DISABLED, while-loops are explicitly supported by the assembly phase
|
|
|
(* Transform while-loops to do-while loops in if-statements *)
|
|
(* Transform while-loops to do-while loops in if-statements *)
|
|
|
| While (cond, body, ann) ->
|
|
| While (cond, body, ann) ->
|
|
|
let cond = traverse new_vars cond in
|
|
let cond = traverse new_vars cond in
|
Taddeus Kroes