core.typed

Infer good types for loop locals

Details

  • Type: Enhancement Enhancement
  • Status: Open Open
  • Priority: Minor Minor
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

Loop locals need a decent type generalisation scheme. Use Typed Racket's as a model.

Activity

There are no entries against this issue.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated: