diff options
| author | Basile Henry | 2020-10-25 18:30:57 +0100 |
|---|---|---|
| committer | GitHub | 2020-10-25 18:30:57 +0100 |
| commit | 8f15b9a53f85ec1f806a36c5d1a0fe455e077e70 (patch) | |
| tree | 32d311e0aff29e77b167c95a0051d916b2788c4c /dhall/src/syntax/text | |
| parent | 49e202de4478c2933f9179ea23efc7d991c35381 (diff) | |
| parent | 0f2522aadcc81481b14c8611db2777670a85ab32 (diff) | |
Merge pull request #181 from basile-henry/text-replace
Implement Text/replace
Diffstat (limited to 'dhall/src/syntax/text')
| -rw-r--r-- | dhall/src/syntax/text/dhall.abnf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/src/syntax/text/dhall.abnf b/dhall/src/syntax/text/dhall.abnf index 2d487f5..e913341 100644 --- a/dhall/src/syntax/text/dhall.abnf +++ b/dhall/src/syntax/text/dhall.abnf @@ -412,6 +412,7 @@ builtin = / List-indexed
/ List-reverse
/ Text-show
+ / Text-replace
/ Bool
/ True
/ False
@@ -464,6 +465,7 @@ List-last = %x4c.69.73.74.2f.6c.61.73.74 List-indexed = %x4c.69.73.74.2f.69.6e.64.65.78.65.64
List-reverse = %x4c.69.73.74.2f.72.65.76.65.72.73.65
Text-show = %x54.65.78.74.2f.73.68.6f.77
+Text-replace = %x54.65.78.74.2f.72.65.70.6c.61.63.65
; Operators
combine = %x2227 / "/\"
|