Skip to content

Commit

Permalink
[hl] cleanup Hlinterp.check macro as it's always false
Browse files Browse the repository at this point in the history
  • Loading branch information
yuxiaomao committed Jul 18, 2024
1 parent 870e0a6 commit 0a7dda7
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/generators/genhl.ml
Original file line number Diff line number Diff line change
Expand Up @@ -4268,7 +4268,7 @@ let generate com =
end;*)
if hl_check then begin
check ctx;
Hlinterp.check com.error code false;
Hlinterp.check com.error code;
end;
let t = Timer.timer ["generate";"hl";"write"] in

Expand Down
2 changes: 1 addition & 1 deletion src/generators/hlinterp.ml
Original file line number Diff line number Diff line change
Expand Up @@ -2183,7 +2183,7 @@ let add_code ctx code =

(* ------------------------------- CHECK ---------------------------------------------- *)

let check comerror code macros =
let check comerror code =
let ftypes = Array.make (Array.length code.natives + Array.length code.functions) HVoid in
let is_native_fun = Hashtbl.create 0 in

Expand Down

0 comments on commit 0a7dda7

Please sign in to comment.