Fix printing of type here.

diku-dk · Feb 4, 2025 · f43fbef · f43fbef
1 parent 488e66a
commit f43fbef
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Language/Futhark/TypeChecker/Unify.hs b/src/Language/Futhark/TypeChecker/Unify.hs
@@ -474,9 +474,9 @@ unifyWith onDims usage = subunify False
             | uncurry (<) $ swap ord (uniqueness b2) (uniqueness b1) -> do
                 unifyError usage mempty bcs . withIndexLink "unify-return-uniqueness" $
                   "Return types"
-                    </> indent 2 (pretty d1 <> pretty b1)
+                    </> indent 2 (pretty b1)
                     </> "and"
-                    </> indent 2 (pretty d2 <> pretty b2)
+                    </> indent 2 (pretty b2)
                     </> "have incompatible uniqueness."
             | otherwise -> do
                 -- Introduce the existentials as size variables so they