From a4e3bce6bba915ea9dba0c1a34519f9cde9d243e Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Thu, 4 Jun 2020 19:56:31 +0200
Subject: Add clarification to "Pattern is not linear" error msg.

---
 src/compiler/GF/Compile/Rename.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/compiler/GF/Compile/Rename.hs')

diff --git a/src/compiler/GF/Compile/Rename.hs b/src/compiler/GF/Compile/Rename.hs
index 5eb83cd4b..aacf24c5b 100644
--- a/src/compiler/GF/Compile/Rename.hs
+++ b/src/compiler/GF/Compile/Rename.hs
@@ -236,7 +236,7 @@ renamePattern :: Status -> Patt -> Check (Patt,[Ident])
 renamePattern env patt =
     do r@(p',vs) <- renp patt
        let dupl = vs \\ nub vs
-       unless (null dupl) $ checkError (hang ("[C.4.13] Pattern is not linear:") 4
+       unless (null dupl) $ checkError (hang ("[C.4.13] Pattern is not linear. All variable names on the left-hand side must be distinct.") 4
                                              patt)
        return r
   where
-- 
cgit v1.2.3