From 1872d6ba12de0e73ef321e026f594d1780e3e084 Mon Sep 17 00:00:00 2001
From: Basile Henry
Date: Sat, 17 Oct 2020 00:40:25 +0200
Subject: Implement Text/replace

---
 dhall/src/syntax/text/dhall.abnf | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'dhall/src/syntax')

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 / "/\"
-- 
cgit v1.2.3