| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Change QuestionMark for better record field missing error message. |  Siddharth Bhat | 2018-07-17 |
| While we were adding a new field into `QuestionMark`, we decided to go ahead and refactor the constructor to hold an actual record. This record now holds the name, obligations, and whether the evar represents a missing record field. This is used to provide better error messages on missing record fields. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |