core.typed

Mark unannotated vars

Details

  • Type: Enhancement Enhancement
  • Status: Closed Closed
  • Priority: Minor Minor
  • Resolution: Completed
  • Affects Version/s: 0.2.0
  • Fix Version/s: 0.2.0
  • Component/s: None
  • Labels:
    None

Description

Instead of using tc-ignore, provide `ann-unchecked` to signify we should skip certain vars when type checking.

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment - - edited

Added :nocheck metadata to `ann`. Print warnings if a var is marked as checked, but no definition found. Ignore `def` forms marked as nocheck.

Show
Ambrose Bonnaire-Sergeant added a comment - - edited Added :nocheck metadata to `ann`. Print warnings if a var is marked as checked, but no definition found. Ignore `def` forms marked as nocheck.
Ambrose Bonnaire-Sergeant made changes -
Field Original Value New Value
Resolution Completed [ 1 ]
Status Open [ 1 ] Resolved [ 5 ]
Ambrose Bonnaire-Sergeant made changes -
Status Resolved [ 5 ] Closed [ 6 ]

People

Vote (1)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: