Ticket #809 (assigned enhancement)

Opened 14 months ago

Last modified 9 months ago

allow to specify argument-type enforcement in type signatures

Reported by: felix Owned by: felix
Priority: not urgent at all Milestone:
Component: compiler Version: 4.7.x
Keywords: scrutinizer Cc:

Description

For example: T1 ... ->! T2 ... could specify a procedure type that is "enforcing".

Change History

Changed 11 months ago by sjamaan

Looks like #873 is a duplicate of this ticket.

Changed 9 months ago by felix

  • owner set to felix
  • status changed from new to assigned
Note: See TracTickets for help on using tickets.