From 73feaafc47ef54e87dbf4f29b8828697ce1ffb6e Mon Sep 17 00:00:00 2001 From: stuebinm Date: Sat, 25 Dec 2021 02:56:24 +0100 Subject: better lint message --- lib/Properties.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib') diff --git a/lib/Properties.hs b/lib/Properties.hs index f142493..b2d4974 100644 --- a/lib/Properties.hs +++ b/lib/Properties.hs @@ -706,7 +706,7 @@ unwrapURI sym p@(Property name _) f g = unwrapString p $ \link -> do DomainDoesNotExist domain -> "The domain " <> domain <> " does not exist; \ \please make sure it is spelled correctly." SchemaDoesNotExist schema -> - "the URI schema " <> schema <> ":// does not exist." + "the URI schema " <> schema <> ":// cannot be used." WrongScope schema allowed -> "the URI schema " <> schema <> ":// cannot be used in property \ \\"" <> name <> "\"; allowed " -- cgit v1.2.3