From 557cdf15c3ff21516cb3e3fba46e44cf14f79aa8 Mon Sep 17 00:00:00 2001
From: Alessandro Coglio <coglio@kestrel.edu>
Date: Mon, 27 Jun 2022 11:26:34 -0700
Subject: [PATCH] [ABNF] Add syntax for record types.

---
 docs/grammar/abnf-grammar.txt | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/grammar/abnf-grammar.txt b/docs/grammar/abnf-grammar.txt
index c92ac0cb22..a9bf424a9b 100644
--- a/docs/grammar/abnf-grammar.txt
+++ b/docs/grammar/abnf-grammar.txt
@@ -96,6 +96,7 @@ keyword = %s"address"
         / %s"in"
         / %s"let"
         / %s"public"
+        / %s"record"
         / %s"return"
         / %s"scalar"
         / %s"string"
@@ -393,8 +394,13 @@ circuit-declaration = %s"circuit" "{" circuit-component-declaration
 
 circuit-component-declaration = identifier ":" type
 
+record-declaration = %s"record" "{" circuit-component-declaration
+                                    *( "," circuit-component-declaration )
+                                    [ "," ] "}"
+
 declaration = function-declaration
             / circuit-declaration
+            / record-declaration
 
 file = *declaration