<< Back to previous view

[CTYP-11] Infer good types for loop locals Created: 03/Mar/13  Updated: 03/Dec/17  Resolved: 03/Dec/17

Status: Closed
Project: core.typed
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Minor
Reporter: Ambrose Bonnaire-Sergeant Assignee: Ambrose Bonnaire-Sergeant
Resolution: Declined Votes: 0
Labels: None


 Description   

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



 Comments   
Comment by Ambrose Bonnaire-Sergeant [ 03/Dec/17 4:29 PM ]

Don't know how to proceed.

Generated at Thu Jan 18 06:16:49 CST 2018 using JIRA 4.4#649-r158309.