Opened 13 years ago
Last modified 11 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 11 months ago by
Milestone: | → someday |
---|
Note: See
TracTickets for help on using
tickets.
Looks like #873 is a duplicate of this ticket.