TODOs

[ansharlubis]

Base work

CONSTRAINT

• Method call's arguments Generate constraint and check on method access #16
• Types assigned with the same parameters are consistent Constraint for return statement, version variables #20
  • Class instance with variable arguments new C#V#()
  • Method call with variable arguments «V»m()
• Return statement Constraint for return statement, version variables #20
• Implement subtyping Constraint for subtype, fix for version variables #24
• Constraint on numbered VersionTypeAccess Abstract all versioned class instances #31

COMPILATION

• Method declarations with version variables Base compilation for method declaration and access with version arguments #15
• Method call with version arguments Base compilation for method declaration and access with version arguments #15
• new C#V#() Compile methods called on polymorphic classes #17
• «V»m() Compile methods called on polymorphic classes #17
• Polymorphic calling monomorpic (refer: Polymorphic hash example #30)
• Different versions with different constructors Processing constructor/method changes between versions #28
  • More examples on this

CHECK

• Version number arguments satisfy the set of solutions Version check on class instance's version arguments #19
• Number of version arguments (instances, method calls) Generate constraint and check on method access #16

TEST

• Make reference tests Add reference tests #25

[ansharlubis]

Hash example

• Monomorphic hash example Abstract all versioned class instances #31
• Polymorphic hash example Abstract all versioned class instances #31
• Check on Dir in polymorphic Hash Polymorphic hash with version checking #32

Subclassing

• Interface support
• Inherited field access, method calls
• Make the expression problem examples

???

• Filter solution for each component
• Add ranges