Print variable name in SignatureNoBind error message.

Fixes #608.
GaloisInc · Jun 13, 2019 · 018213d · 018213d
1 parent ede8c3f
commit 018213d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Cryptol/Parser/NoPat.hs b/src/Cryptol/Parser/NoPat.hs
@@ -520,7 +520,7 @@ instance PP Error where
       SignatureNoBind x s ->
         text "At" <+> pp (srcRange x) <.> colon <+>
         text "Type signature without a matching binding:"
-         $$ nest 2 (pp s)
+         $$ nest 2 (pp (thing x) <+> colon <+> pp s)
 
       PragmaNoBind x s ->
         text "At" <+> pp (srcRange x) <.> colon <+>