bug fix

AnyDSL · Feb 12, 2025 · 9bd036c · 9bd036c
1 parent b40c59b
commit 9bd036c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/mim/dump.cpp b/src/mim/dump.cpp
@@ -305,6 +305,7 @@ void Dumper::dump(Def* mut) {
         if (def->isa<Arr>()) return ".Arr";
         if (def->isa<Pack>()) return ".pack";
         if (def->isa<Pi>()) return ".Pi";
+        if (def->isa<Infer>()) return ".Infer";
         fe::unreachable();
     };
 
@@ -313,6 +314,7 @@ void Dumper::dump(Def* mut) {
         if (auto arr = def->isa<Arr>()) return print(os, ", {}", arr->shape());
         if (auto pack = def->isa<Pack>()) return print(os, ", {}", pack->shape());
         if (auto pi = def->isa<Pi>()) return print(os, ", {}", pi->dom());
+        if (auto infer = def->isa<Infer>()) return infer->is_set() ? print(os, ", {}", infer->op()) : print(os, ", ??");
         fe::unreachable();
     };