diff options
| author | stuebinm | 2021-12-25 02:56:24 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-25 02:56:24 +0100 |
| commit | 73feaafc47ef54e87dbf4f29b8828697ce1ffb6e (patch) | |
| tree | 971e004f470226cba539b466377a262b6bec5dd4 | |
| parent | 74ba22be570c72880376af9b91e9f3475b5d2b30 (diff) | |
better lint message
| -rw-r--r-- | lib/Properties.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 " |