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

[kaleidawave]

I think this is done https://github.com/kaleidawave/ezno/blob/main/checker/specification/specification.md#classes