unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 02:25:39 +03:00
Code Issues Projects Releases Wiki Activity

allow () escaped in backticks

Browse Source
This commit is contained in:
Mitchell Rosen 2024-02-22 14:12:03 -05:00
parent e31aba4620
commit d34522e6a4
3 changed files with 15 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
unison-src/transcripts/unitnamespace.md
View File

@ -3,7 +3,7 @@ foo = "bar"
```
```ucm
.> cd ()
.()> add
.> delete.namespace ()
.> cd `()`
.`()`> add
.> delete.namespace `()`
```

8
unison-src/transcripts/unitnamespace.output.md
View File

@ -16,17 +16,17 @@ foo = "bar"
```
```ucm
.> cd ()
.> cd `()`
☝️ The namespace .() is empty.
☝️ The namespace .`()` is empty.
.()> add
.`()`> add
⍟ I've added these definitions:
foo : ##Text
.> delete.namespace ()
.> delete.namespace `()`
Done.

13
unison-syntax/src/Unison/Syntax/NameSegment.hs
View File

@ -27,6 +27,8 @@ where
import Data.Char qualified as Char
import Data.Set qualified as Set
import Data.Text qualified as Text
import Data.Text.Lazy.Builder qualified as Text (Builder)
import Data.Text.Lazy.Builder qualified as Text.Builder
import Text.Megaparsec (ParsecT)
import Text.Megaparsec qualified as P
import Text.Megaparsec.Char qualified as P
@ -36,8 +38,6 @@ import Unison.NameSegment qualified as NameSegment
import Unison.Prelude
import Unison.Syntax.Lexer.Token (Token (..), posP)
import Unison.Syntax.ReservedWords (keywords, reservedOperators)
import Data.Text.Lazy.Builder qualified as Text.Builder
import Data.Text.Lazy.Builder qualified as Text (Builder)
------------------------------------------------------------------------------------------------------------------------
-- String conversions
@ -165,14 +165,17 @@ symbolyIdChar =
-- | The set of characters allowed in an unescaped symboly identifier.
symbolyIdChars :: Set Char
symbolyIdChars = Set.fromList "!$%^&*-=+<>~\\/|:"
symbolyIdChars =
Set.fromList "!$%^&*-=+<>~\\/|:"
escapedSymbolyIdChar :: Char -> Bool
escapedSymbolyIdChar = (`Set.member` escapedSymbolyIdChars)
escapedSymbolyIdChar =
(`Set.member` escapedSymbolyIdChars)
-- | The set of characters allowed in an escaped symboly identifier.
escapedSymbolyIdChars :: Set Char
escapedSymbolyIdChars = Set.insert '.' symbolyIdChars
escapedSymbolyIdChars =
Set.fromList ".()" <> symbolyIdChars
wordyIdStartChar :: Char -> Bool
wordyIdStartChar ch =