diff --git a/parser-typechecker/src/Unison/PrintError.hs b/parser-typechecker/src/Unison/PrintError.hs index 5714bb3176..9d5dd0cf84 100644 --- a/parser-typechecker/src/Unison/PrintError.hs +++ b/parser-typechecker/src/Unison/PrintError.hs @@ -2003,6 +2003,7 @@ useExamples = "", Pr.indentN 2 . Pr.column2 $ [ (Pr.blue "use math sqrt", Pr.wrap "Introduces `sqrt` as a local alias for `math.sqrt`"), - (Pr.blue "use List :+", Pr.wrap "Introduces `:+` as a local alias for `List.:+`.") + (Pr.blue "use List :+", Pr.wrap "Introduces `:+` as a local alias for `List.:+`."), + (Pr.blue "use .foo bar.baz", Pr.wrap "Introduces `bar.baz` as a local alias for the absolute name `.foo.bar.baz`") ] ] diff --git a/unison-src/transcripts/idempotent/fix-4536.md b/unison-src/transcripts/idempotent/fix-4536.md index 46a2629d43..a17052e8f6 100644 --- a/unison-src/transcripts/idempotent/fix-4536.md +++ b/unison-src/transcripts/idempotent/fix-4536.md @@ -58,10 +58,12 @@ foo = Here's a few examples of valid `use` statements: - use math sqrt Introduces `sqrt` as a local alias for - `math.sqrt` - use List :+ Introduces `:+` as a local alias for - `List.:+`. + use math sqrt Introduces `sqrt` as a local alias for + `math.sqrt` + use List :+ Introduces `:+` as a local alias for + `List.:+`. + use .foo bar.baz Introduces `bar.baz` as a local alias for + the absolute name `.foo.bar.baz` ``` ``` unison :error