kernel
kernel copied to clipboard
Strong mode support
When compiled for strong mode:
- Inferred types must be made explicit
- Checks must be made explicit
The current analyzer-based frontend inserts inferred types, but not the necessary checks.