Opened 12 years ago
Closed 12 years ago
#125 closed defect (fixed)
[Trivial] Signature keyword must remove axiom declarations
| Reported by: | magne | Owned by: | Anya Helene Bagge |
|---|---|---|---|
| Priority: | critical | Milestone: | v0.3 |
| Component: | magnolia-eclipse | Version: | |
| Keywords: | Cc: | ||
| Blocked By: | Blocking: |
Description
The signature keyword applied to a concept should remove all axiom declarations.
It is standard practice to use the signature of a concept as the on-part of an implementation. If the axiom declarations remain, the implementation will require these axioms as part of the library to which the implementation is applied.
Change History (3)
comment:1 by , 12 years ago
| Milestone: | m12.08 → v0.3 |
|---|---|
| Status: | new → assigned |
comment:2 by , 12 years ago
| Summary: | Signature keyword must remove axiom declarations → [Trivial] Signature keyword must remove axiom declarations |
|---|
comment:3 by , 12 years ago
| Resolution: | → fixed |
|---|---|
| Status: | assigned → closed |
Note:
See TracTickets
for help on using tickets.
