| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
| |
|
| |
|
|
|
|
|
|
| |
Instead of swapping L/R arguments to try to create ?>= and ?>,
create a function for each which performs the not operation of ?<
and ?<= as defined by the LRM.
|
|
|
| |
Implement the matching operators ?<, ?<=, ?>, ?>=, ?/=.
|
| |
|
| |
|
|
|
|
| |
Fix #1514
|
| |
|
| |
|
|
|
|
| |
Fix #1515
|
| |
|
| |
|
| |
|
|
|
|
| |
Fix #1857
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
and not from the object type.
Fix #1862
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
For #1860
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Fix #1831
Fix #1657
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
Do not consider that functions with unbounded elements can be a
resolution function.
For #1844
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Fix #1625
Fix #1672
|
| |
|
| |
|
| |
|
|
|
|
|
| |
When the subtype of the aggregate is not known by the context.
Fix #1723
|