Common Error Messages

Introduction

This page aggregates common error messages reported by the K compilation and runtime environments, and suggested solutions.

Error.
```
Advisory: ... : collapse at top of ... ~> #freezer ... may cause it to match more than you expect.
```
Cause. This error appears for the cooling rule of a construct annotated with both [strict] and [function]. These two annotations cannot work together.

Solution. Rethink the need for each annotation.

One of these two scenarios is the likely culprit: either (1) some syntax production has both function and strict attributes, or (2) a rule rewriting a production annotated with function also contains some context (i.e., configuration cells). Such rules and productions should be split into functional and non-functional parts. One production might handle the non-functional aspects of the definition (and be annotated with strict, but not function), while another production, annotated with "function," might handle the functional aspects. Now rules rewriting the first (non-functional) production can contain a context and make use of the second (functional) production.