Class types and class extends

[kaleidawave]

Types

• Classes (statement ones) need to be visited during hoisting
  • Scan their members and types
  • Create a class type from that
  • When synthesising a class, reuse these values for the actual functions

What about expression classes?

Extends

• Synthesise the extends expression. and set somewhere