search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

New typechecker error message #292

Open zilinc opened 5 years ago

zilinc commented 5 years ago

It should be at least as good as the previous iteration.

zilinc commented 5 years ago

More specifically, the stack of error contexts seems mostly missing at the moment.

zilinc commented 5 years ago

Another specific case, when taking a field which doesn't belong to a record, it doesn't say so (or not explicit about it).