Ugarit
View Ticket
Login
Ticket UUID: ccb9012efd4ae233a2bfb7b554d98b9b74225b6f
Title: Declare types of things
Status: Claimed Type: Refactoring
Severity: Cosmetic Priority: 4_Zero
Subsystem: General Resolution: Open
Last Modified: 2015-06-16 17:49:28
Version Found In:
Description:
It would be nice to put type declarations on:
  • Exported identifiers from each module
  • Un-exported identifiers in modules
  • Local declarations (lets etc)

See: http://wiki.call-cc.org/man/4/Types

User Comments:
alaric added on 2015-06-16 17:49:28:
Put on hold somewhat, as it led to crashes :-(