Skip to content

Commit

Permalink
fix identation and hygene
Browse files Browse the repository at this point in the history
  • Loading branch information
sadiqj committed Jul 1, 2021
1 parent bf4e496 commit f4fda38
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 3 deletions.
7 changes: 5 additions & 2 deletions asmcomp/polling.ml
Original file line number Diff line number Diff line change
Expand Up @@ -216,8 +216,11 @@ let instrument_fundecl ~future_funcnames:_ (f : Mach.fundecl) : Mach.fundecl =
| [] -> ()
| _ -> raise (Error (Poll_error poll_instrs))
end;
let new_contains_calls = f.fun_contains_calls || contains_poll new_body in
{ f with fun_body = new_body; fun_contains_calls = new_contains_calls }
let new_contains_calls =
f.fun_contains_calls || contains_poll new_body in
{ f with
fun_body = new_body;
fun_contains_calls = new_contains_calls }

let requires_prologue_poll ~future_funcnames i =
potentially_recursive_tailcall ~fwd_func:future_funcnames i
Expand Down
3 changes: 2 additions & 1 deletion lambda/translattribute.ml
Original file line number Diff line number Diff line change
Expand Up @@ -217,7 +217,8 @@ let check_poll_inline loc attr =
match attr.poll, attr.inline with
| Error_poll, (Always_inline | Hint_inline | Unroll _) ->
Location.prerr_warning loc
(Warnings.Inlining_impossible "[@poll error] is incompatible with inlining")
(Warnings.Inlining_impossible
"[@poll error] is incompatible with inlining")
| _ ->
()

Expand Down

0 comments on commit f4fda38

Please sign in to comment.