From f43fbefbec26fc3474419de77a946017cd3db488 Mon Sep 17 00:00:00 2001 From: Troels Henriksen Date: Tue, 4 Feb 2025 21:05:54 +0100 Subject: [PATCH] Fix printing of type here. --- src/Language/Futhark/TypeChecker/Unify.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Language/Futhark/TypeChecker/Unify.hs b/src/Language/Futhark/TypeChecker/Unify.hs index 5638acdc9e..18346676fa 100644 --- 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