Opened 10 years ago
Closed 9 years ago
#844 closed defect (fixed)
WCST typing of coverages
| Reported by: | Vlad Merticariu | Owned by: | Vlad Merticariu |
|---|---|---|---|
| Priority: | minor | Milestone: | 9.1 |
| Component: | undecided | Version: | development |
| Keywords: | Cc: | ||
| Complexity: | Medium |
Description
Currently rasdl is ivoked from java and the type checker doesn't look for limited extent in types. This may lead to bugs if somebody defines a type with limited extent.
Change History (1)
comment:1 by , 9 years ago
| Milestone: | → 9.1 |
|---|---|
| Resolution: | → fixed |
| Status: | new → closed |
Note:
See TracTickets
for help on using tickets.
