Commit e6c44d4

authored

flambda-backend: mkuplus and mkuminus must preserve attributes (#1575)

* mkuplus and mkuminus must preserve attributes * Don't copy attributes

1 parent 906cfc5 commit e6c44d4Copy full SHA for e6c44d4

3 files changed

+4688

-4620

lines changed

+4688

-4620

lines changed

Comments

(0)