Fix constraints ordering #790
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "fix-ets"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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.
approved this merge request
Created by: UlfNorell
Review: Approved
Merged by: radrow at 2021-03-05 09:42:16 UTC