Main Items of Work

Work for 1st pass:
*decide on syntax for annotations

• identify methods added to prototype
• create annotated type structure

Work for 2nd pass:

• decide on syntax for annotation
• Identify in the AST the functions that have type annotations
• match annotations with the params
• find all usages of the params in the method
• check method invocation against know available types