Better phrasing.

diku-dk · Jan 8, 2024 · f9f33b4 · f9f33b4
1 parent f186ac6
commit f9f33b4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Language/Futhark/TypeChecker/Unify.hs b/src/Language/Futhark/TypeChecker/Unify.hs
@@ -824,10 +824,10 @@ linkVarToDim usage bcs vn lvl e = do
             ParamSize {} -> do
               notes <- dimNotes usage e
               unifyError usage notes bcs $
-                "Cannot unify size variable"
-                  <+> dquotes (pretty e)
-                  <+> "with"
+                "Cannot link size"
                   <+> dquotes (prettyName vn)
+                  <+> "to"
+                  <+> dquotes (pretty e)
                   <+> "(scope violation)."
                   </> "This is because"
                   <+> dquotes (pretty $ qualName dim')