Allow era term to be surrounded by parens

HigherOrderCO · Aug 15, 2024 · 101ea27 · 101ea27
1 parent d6a1995
commit 101ea27
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 0 deletions.
diff --git a/src/fun/parser.rs b/src/fun/parser.rs
@@ -482,6 +482,10 @@ impl<'a> TermParser<'a> {
             return Ok(Term::Fan { fan: FanKind::Tup, tag: tag.unwrap_or(Tag::Static), els });
           }
 
+          if self.try_consume(")") {
+            return Ok(Term::Era);
+          }
+
           // Opr
           unexpected_tag(self)?;
           let fst = self.parse_term()?;

diff --git a/tests/golden_tests/parse_file/era.bend b/tests/golden_tests/parse_file/era.bend
@@ -0,0 +1 @@
+(Main) = (*)
diff --git a/tests/snapshots/parse_file__era.bend.snap b/tests/snapshots/parse_file__era.bend.snap
@@ -0,0 +1,5 @@
+---
+source: tests/golden_tests.rs
+input_file: tests/golden_tests/parse_file/era.bend
+---
+(Main) = *