Opened 14 years ago
Last modified 2 years 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 13 years ago by
comment:2 Changed 13 years ago by
| Owner: | set to felix winkelmann |
|---|---|
| Status: | new → assigned |
comment:3 Changed 9 years ago by
| Estimated difficulty: | → medium |
|---|
comment:4 Changed 2 years ago by
| Milestone: | → someday |
|---|
Note: See
TracTickets for help on using
tickets.
Looks like #873 is a duplicate of this ticket.