Give an error message with a location for ambiguous types.

bredelings · Jan 9, 2025 · 6e14971 · 6e14971
1 parent b5d27bf
commit 6e14971
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/src/computation/rename/types.cc b/src/computation/rename/types.cc
@@ -24,8 +24,15 @@ Hs::LTypeCon renamer_state::rename_type(Hs::LTypeCon ltc)
 
     if (m.type_is_declared(name))
     {
-        auto T = m.lookup_type(name);
-        name = T->name;
+        try
+        {
+            auto T = m.lookup_type(name);
+            name = T->name;
+        }
+        catch (myexception& e)
+        {
+            error(loc, Note()<<e.what());
+        }
     }
     else
         error(loc, Note()<<"Undeclared type constructor `"<<name<<"`");