Skip to content

Port HsToCore errors and warnings to the new infrastructure

Alfredo Di Napoli requested to merge wip/adinapoli-ds-messages into master

Part of #18516.

This MR converts virtually all the diagnostic messages from the desugarer from using SDocs into type constructors of the DsMessage type.

I will rebase into an atomic commit once Richard will give the final green lights.

Edited by Alfredo Di Napoli

Merge request reports