Merge pull request #5216 from unisonweb/topic/decomp-foreign

Use builtin reference names in foreign decompiling
unisonweb · Jul 12, 2024 · 212a232 · 212a232
2 parents be7e6cb + a010a8a
commit 212a232
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/parser-typechecker/src/Unison/Runtime/Decompile.hs b/parser-typechecker/src/Unison/Runtime/Decompile.hs
@@ -230,7 +230,11 @@ decompileForeign backref topTerms f
   | Just s <- unwrapSeq f =
       list' () <$> traverse (decompile backref topTerms) s
 decompileForeign _ _ (Wrap r _) =
-  err (BadForeign r) $ bug "<Foreign>"
+  err (BadForeign r) $ bug text
+  where
+    text
+      | Builtin name <- r = "<" <> name <> ">"
+      | otherwise = "<Foreign>"
 
 decompileBytes :: (Var v) => By.Bytes -> Term v ()
 decompileBytes =