kernel icon indicating copy to clipboard operation
kernel copied to clipboard

Strong mode support

Open asgerf opened this issue 9 years ago • 0 comments

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 avatar May 20 '16 11:05 asgerf