fix(spec): Fix duplicate definitions

Rename some rules for the builtin statement to avoid ambiguity.
influxdata · Sep 11, 2022 · c7a1787 · c7a1787
1 parent 9d0d3f1
commit c7a1787
Showing 1 changed file with 13 additions and 13 deletions.
diff --git a/docs/SPEC.md b/docs/SPEC.md
@@ -1173,19 +1173,19 @@ All such values must have a corresponding builtin statement to declare the exist
     BuiltinStatement = "builtin" identifer ":" TypeExpression .
     TypeExpression   = MonoType ["where" Constraints] .
 
-    MonoType = Tvar | Basic | Array | Record | Function .
-    Tvar     = "A" … "Z" .
-    Basic    = "int" | "uint" | "float" | "string" | "bool" | "time" | "duration" | "bytes" | "regexp" .
-    Array    = "[" MonoType "]" .
-    Record   = ( "{" [Properties] "}" ) | ( "{" Tvar "with" Properties "}" ) .
-    Function = "(" [Parameters] ")" "=>" MonoType .
-
-    Properties = Property { "," Property } .
-    Property   = Label ":" MonoType .
-    Label      = identifier | string_lit
-
-    Parameters = Parameter { "," Parameter } .
-    Parameter  = [ "<-" | "?" ] identifier ":" MonoType .
+    MonoType     = Tvar | BasicType | ArrayType | RecordType | FunctionType .
+    Tvar         = "A" … "Z" .
+    BasicType    = "int" | "uint" | "float" | "string" | "bool" | "time" | "duration" | "bytes" | "regexp" .
+    ArrayType    = "[" MonoType "]" .
+    RecordType   = ( "{" [RecordTypeProperties] "}" ) | ( "{" Tvar "with" RecordTypeProperties "}" ) .
+    FunctionType = "(" [FunctionTypeParameters] ")" "=>" MonoType .
+
+    RecordTypeProperties = RecordTypeProperty { "," RecordTypeProperty } .
+    RecordTypeProperty   = Label ":" MonoType .
+    Label = identifier | string_lit
+
+    FunctionTypeParameters = FunctionTypeParameter { "," FunctionTypeParameter } .
+    FunctionTypeParameter = [ "<-" | "?" ] identifier ":" MonoType .
 
     Constraints = Constraint { "," Constraint } .
     Constraint  = Tvar ":" Kinds .