search

au-ts / cogent

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

proper error messages for Dargent #290

Open zilinc opened 5 years ago

zilinc commented 5 years ago

Esp. for Cogent.TypeCheck.Base.isTypeLayoutExprCompatible. It'd be better to have a trace of (type, layout) pairs as it decends to the error case.

vjackson725 commented 5 years ago

Here's a code reference: https://github.com/NICTA/cogent/blob/0528a3da61f5a89ae78a64fe6dad36c5d788af0d/cogent/src/Cogent/TypeCheck/Base.hs#L605