From ac7e39a752c41c06155e27e84404c67c1341065d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:28:48 +0100
Subject: spec!: remove Optional/build and Optional/fold

---
 dhall/src/syntax/text/dhall.abnf | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'dhall/src/syntax')

diff --git a/dhall/src/syntax/text/dhall.abnf b/dhall/src/syntax/text/dhall.abnf
index 173209c..37ec43b 100644
--- a/dhall/src/syntax/text/dhall.abnf
+++ b/dhall/src/syntax/text/dhall.abnf
@@ -387,6 +387,9 @@ keyword =
     / forall-keyword
     / with
 
+; Note that there is a corresponding parser test in
+; `tests/parser/success/builtinsA.dhall`. Please update it when
+; you modify this `builtin` rule.
 builtin =
       Natural-fold
     / Natural-build
@@ -408,8 +411,6 @@ builtin =
     / List-last
     / List-indexed
     / List-reverse
-    / Optional-fold
-    / Optional-build
     / Text-show
     / Bool
     / True
@@ -462,8 +463,6 @@ List-head         = %x4c.69.73.74.2f.68.65.61.64
 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
-Optional-fold     = %x4f.70.74.69.6f.6e.61.6c.2f.66.6f.6c.64
-Optional-build    = %x4f.70.74.69.6f.6e.61.6c.2f.62.75.69.6c.64
 Text-show         = %x54.65.78.74.2f.73.68.6f.77
 
 ; Operators
-- 
cgit v1.2.3