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 by sjamaan, 13 years ago

Looks like #873 is a duplicate of this ticket.

comment:2 by felix winkelmann, 13 years ago

Owner: set to felix winkelmann
Status: new → assigned

comment:3 by sjamaan, 9 years ago

Estimated difficulty: → medium

comment:4 by felix winkelmann, 2 years ago

Milestone: → someday
Note: See TracTickets for help on using tickets.