diff options
| author | Gaëtan Gilbert | 2020-11-23 16:08:37 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-11-23 16:08:37 +0100 |
| commit | 60ed425ffc8bc30c11a3a8e542a9bfb0a0a06471 (patch) | |
| tree | 9ce750e090f593cc063ceed05ef97fcd5f5d5df2 /dev | |
| parent | 94d579844817edcbb2454dd9dc79071b2cd1d12a (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
