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