Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix #7539: Checker does not properly handle negative coinductive types. | Pierre-Marie Pédrot | 2018-05-18 |
The reduction machine of the checker was not taking into account the fact that cofixpoints needed to be unfolded when applied against a projection. |