summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSilvan Mosberger <silvan.mosberger@tweag.io>2022-12-13 01:43:50 +0100
committerSilvan Mosberger <silvan.mosberger@tweag.io>2022-12-13 01:43:50 +0100
commit7bb71db853a10b526b5edcca509d358e7ffb1dbc (patch)
tree0a6c3135e428dbd100d4e8d1dbe771c2ce26f1f0
parentlib.path: Don't use `toPretty` for unexpected type errors (diff)
downloadnixpkgs-7bb71db853a10b526b5edcca509d358e7ffb1dbc.tar.gz
lib/path.nix: Use -> instead of => for law
-rw-r--r--lib/path.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/path.nix b/lib/path.nix
index b03a4bb3f26b..aa94534a6685 100644
--- a/lib/path.nix
+++ b/lib/path.nix
@@ -119,7 +119,7 @@ in /* No rec! Add dependencies on this file at the top. */ {
- (Uniqueness) There's only a single normalisation for the paths that lead to the same file system node:
- subpath.normalise p != subpath.normalise q => $(realpath ${p}) != $(realpath ${q})
+ subpath.normalise p != subpath.normalise q -> $(realpath ${p}) != $(realpath ${q})
- Doesn't change the path according to `realpath`: