From 73feaafc47ef54e87dbf4f29b8828697ce1ffb6e Mon Sep 17 00:00:00 2001
From: stuebinm <stuebinm@disroot.org>
Date: Sat, 25 Dec 2021 02:56:24 +0100
Subject: [PATCH] better lint message
---
lib/Properties.hs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 "
--
GitLab