daml/compiler/daml-lf-tools
dylant-da 05d9ee89f3
Improve interpretation error consistency (#15680)
* Add custom viewtype mismatch error

* Modify error message on EViewTypeMismatch to be like GHC error

* Make EUnknownMethodInInterfaceInstance error consistent w/ GHC

* Add MethodTypeMismatch error, sync with GHC error

* Prefix fields in new errors

* Intercept type mismatch in method to throw EMethodTypeMismatch

* Synchronize EUnknownField with GHC-side message

* Complete synchronizing EUnknownField with GHC-side error message

* satisfy lint and changelog check

CHANGELOG_BEGIN
CHANGELOG_END

* lint

* Fix TypingSpec for new EMethodTypeMismatch

* lint

* lint again

* EFieldTypeMismatch error for ERecUpd/ERecProj mismatch, like in GHC

* lint
2022-11-29 13:02:46 +00:00
..
src/DA/Daml/LF Improve interpretation error consistency (#15680) 2022-11-29 13:02:46 +00:00
tests/DA/Daml/LF/Simplifier update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
BUILD.bazel Fix locations for LF errors (#13895) 2022-05-17 13:45:58 +02:00