kernel

kernel copied to clipboard

Source information

2

No source information is currently preserved. My idea so far is to associate a breakpoint ID with every expression/statement where the debugger could conceivably stop, and a side table will...

asgerf

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.

asgerf

The text format is a one-way serialization, useful for diagnostics. We should be able to parse the text format back in so it can be used for writing test cases.

asgerf