hugr
hugr copied to clipboard
Use text format to show context in import errors
Error messages that only involve ids of nodes, regions or terms are hard to interpret. Using the text format, we can print out the context that is involved in an error during the import process.