1
Vote

Type-checker does not detect invalid permission scaling

description

The type-checker of Chalice should detect if counting permissions are attempted to be scaled (which is not allowed). At the moment, only in the translation phase this issue is recognized, which makes it less convenient to reuse the Chalice AST/type-checker.

For instance, see the test translation/Predicates/predicate_error1.chalice (attached).

file attachments

comments