Skip to content

Latest commit

 

History

History
13 lines (9 loc) · 570 Bytes

CHANGELOG.md

File metadata and controls

13 lines (9 loc) · 570 Bytes

0.3

  • Implement InferShapes as in the paper to propagate all type capabilities.
  • Two implementations of constraint simplification: naive path exploration and using path expressions.
  • Reworked anonymous variable introduction to keep recursive type information.
  • Constraint simplification is used to infer type schemes and to generate primitive constraints.
  • Fixes in constraint graph generation:
    • Only add recall edges and for left-hand sides of constraints and forget edges for right-hand sides.
    • Add Left/Right marking to interesting nodes.

0.2