diff options
| author | Björn Gustavsson <[email protected]> | 2013-10-17 15:22:49 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2013-10-17 15:54:29 +0200 |
| commit | 719f789cebec004b350153e1f001303d6713f4a6 (patch) | |
| tree | 774bd334dae867f22a6432dbda1e73cb0f36d881 /lib/dialyzer | |
| parent | 20641fe0f2ea745873fc7557448d3a7deb1bd639 (diff) | |
| download | otp-719f789cebec004b350153e1f001303d6713f4a6.tar.gz otp-719f789cebec004b350153e1f001303d6713f4a6.tar.bz2 otp-719f789cebec004b350153e1f001303d6713f4a6.zip | |
Fix complicated union of INTEGER constraints
A constraint that was an union of integer ranges:
Type ::= INTEGER (lb1..ub1 | ... | lbN..ubN)
would sometimes (depending on the values) not all always be properly
combined to a single effective range, but would become:
Type ::= INTEGER (lb2..ub2) (lb3..ub3)
If that type was used in a SEQUENCE:
S ::= SEQUENCE {
v Type
}
the constraint would be simplified, taking the intersection of the
ranges.
Diffstat (limited to 'lib/dialyzer')
0 files changed, 0 insertions, 0 deletions