aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorGaëtan Gilbert2020-11-23 16:08:37 +0100
committerGaëtan Gilbert2020-11-23 16:08:37 +0100
commit60ed425ffc8bc30c11a3a8e542a9bfb0a0a06471 (patch)
tree9ce750e090f593cc063ceed05ef97fcd5f5d5df2 /dev
parent94d579844817edcbb2454dd9dc79071b2cd1d12a (diff)
Fix comparison of extracted array literals
Fixes #13453 which was a loop in ~~~ocaml let normalize a = let o = optims () in let rec norm a = let a' = if o.opt_kill_dum then kill_dummy (simpl o a) else simpl o a in if eq_ml_ast a a' then a else norm a' in norm a ~~~ the `eq_ml_ast` was always returning `false`.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions