cogent icon indicating copy to clipboard operation
cogent copied to clipboard
verified publisher icon au-ts

New typechecker error message

Open zilinc opened this issue 6 years ago • 2 comments

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

zilinc avatar Sep 03 '19 06:09 zilinc

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

zilinc avatar Sep 03 '19 06:09 zilinc

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

zilinc avatar Sep 06 '19 07:09 zilinc