Fix constraints ordering #790

Merged
zxq9 merged 1 commits from fix-ets into lima 2021-03-05 18:42:16 +09:00
zxq9 commented 2021-02-23 19:10:24 +09:00 (Migrated from gitlab.com)

Created by: radrow

Enforced ordering of constraint ETS tables (by insertion time). Previous implementation was giving different results depending on tables implementations (try running eunit on OTP23 for example). Moreover, in some circumstances the compilation could fail due to this inconsistency.

*Created by: radrow* Enforced ordering of constraint ETS tables (by insertion time). Previous implementation was giving different results depending on tables implementations (try running eunit on OTP23 for example). Moreover, in some circumstances the compilation could fail due to this inconsistency.
gorbak25 (Migrated from gitlab.com) approved these changes 2021-02-23 19:10:24 +09:00
gorbak25 commented 2021-02-23 20:06:31 +09:00 (Migrated from gitlab.com)

approved this merge request

approved this merge request
zxq9 commented 2021-03-05 18:37:18 +09:00 (Migrated from gitlab.com)

Created by: UlfNorell

Review: Approved

*Created by: UlfNorell* **Review:** Approved
zxq9 commented 2021-03-05 18:42:16 +09:00 (Migrated from gitlab.com)

Merged by: radrow at 2021-03-05 09:42:16 UTC

*Merged by: radrow at 2021-03-05 09:42:16 UTC*
Sign in to join this conversation.
No description provided.