Opened 13 years ago
Last modified 14 months ago
#809 assigned enhancement
allow to specify argument-type enforcement in type signatures
| Reported by: | felix winkelmann | Owned by: | felix winkelmann |
|---|---|---|---|
| Priority: | not urgent at all | Milestone: | someday |
| Component: | compiler | Version: | 4.7.x |
| Keywords: | scrutinizer | Cc: | |
| Estimated difficulty: | medium |
Description
For example: T1 ... ->! T2 ... could specify a procedure type that is "enforcing".
Change History (4)
comment:1 Changed 12 years ago by
comment:2 Changed 12 years ago by
| Owner: | set to felix winkelmann |
|---|---|
| Status: | new → assigned |
comment:3 Changed 8 years ago by
| Estimated difficulty: | → medium |
|---|
comment:4 Changed 14 months ago by
| Milestone: | → someday |
|---|
Note: See
TracTickets for help on using
tickets.
Looks like #873 is a duplicate of this ticket.