feat: include namespace in grammar, also concat op

RelationalAI · Mar 13, 2024 · 4aef423 · 4aef423
1 parent 7a0fd6c
commit 4aef423
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/syntax.grammar b/src/syntax.grammar
@@ -39,6 +39,7 @@ declaration[@isGroup=Declaration]
     | EntityTypeDeclaration
     | ConstraintDeclaration
     | ModuleDeclaration
+    | NamespaceDeclaration
     | WithUseDeclaration
     }
 
@@ -97,6 +98,10 @@ ModuleDeclaration {
     Docstring? Annotation* kw<"module"> LhsId formalsBracket* declaration* kw<"end">
 }
 
+NamespaceDeclaration {
+    Docstring? Annotation* kw<"namespace"> LhsId formalsBracket* declaration* kw<"end">
+}
+
 WithUseDeclaration {
     kw<"with"> expression kw<"use"> ("..." | commaSep1<Alias>)
 }
@@ -436,6 +441,7 @@ formalsParen { "(" Formals? ")" }
         | ":>"
         | "<++"
         | "++>"
+        | "++"
         }
 
     decimalLiteral { $[0-9]+ }