Skip to content
Snippets Groups Projects
Commit a62f7ac3 authored by Matthew Pickering's avatar Matthew Pickering
Browse files

Convert interface file loading errors into proper diagnostics 

This patch converts all the errors to do with loading interface files
into proper structured diagnostics.

* DriverMessage: Sometimes in the driver we attempt to load an interface
  file so we embed the IfaceMessage into the DriverMessage.
* TcRnMessage: Most the time we are loading interface files during
  typechecking, so we embed the IfaceMessage

This patch also removes the TcRnInterfaceLookupError constructor which
is superceded by the IfaceMessage, which is now structured compared to
just storing an SDoc before.
parent e1fb56b2
Branches wip/ttg-booleanformula
No related tags found
No related merge requests found
Pipeline #64901 passed
Stage: tool-lint
    Stage: quick-build
      Stage: full-build
        Stage: packaging
          Stage: testing
            Hide whitespace changes
            Inline Side-by-side
            Showing
            with 717 additions and 367 deletions
            0% or .
            You are about to add 0 people to the discussion. Proceed with caution.
            Finish editing this message first!
            Please register or to comment