Summary
allow to specify argument-type enforcement in type signatures
Metadata
- Id: cb2f8c943ea1c07ff55996269e40d8ba9066d0eb
- Trac id: 809
- Type: enhancement
- Reporter: felix
- Owner:
- Cc:
- Status: new
- Component: compiler
- Estimated difficulty: medium
- Resolution:
- Priority: not urgent at all
- Milestone: someday
- Version: 4.7.x
- Changetime: 2026-07-04 20:47:25 UTC
- Created: 2012-04-07 12:48:53 UTC
- Keywords: scrutinizer
Description
For example: `T1 ... ->! T2 ...` could specify a procedure type that is "enforcing".
Changes and comments
[2012-06-30 15:21:00 UTC] sjamaan wrote:
Looks like #873 is a duplicate of this ticket.