Summary

allow user types to specify argument-type enforcement

Metadata

• Id: 61bf989ae8035382f42c90f234926809503fd326
• Trac id: 873
• Type: enhancement
• Reporter: felix
• Owner: felix
• Cc:
• Status: closed
• Component: scrutinizer
• Estimated difficulty:
• Resolution: duplicate
• Priority: not urgent at all
• Milestone:
• Version: 4.7.x
• Changetime: 2012-07-02 10:57:27 UTC
• Created: 2012-06-19 11:22:25 UTC
• Keywords:

Description

A procedure type of the form `(... ->! ...)` could mark a procedure as enforcing.

Changes and comments

[2012-06-30 15:20:40 UTC] sjamaan wrote:

Isn't this a duplicate of #809?

[2012-07-02 10:57:27 UTC] felix changed status from new to closed

[2012-07-02 10:57:27 UTC] felix set resolution to duplicate

[2012-07-02 10:57:27 UTC] felix wrote:

Replying to sjamaan: > Isn't this a duplicate of #809?

It is.