Grammar

The grammar’s start symbol is module.

  1. # This file is generated by compiler/parser.nim.
  2. module = complexOrSimpleStmt ^* (';' / IND{=})
  3. comma = ',' COMMENT?
  4. semicolon = ';' COMMENT?
  5. colon = ':' COMMENT?
  6. colcom = ':' COMMENT?
  7. operator = OP0 | OP1 | OP2 | OP3 | OP4 | OP5 | OP6 | OP7 | OP8 | OP9
  8. | 'or' | 'xor' | 'and'
  9. | 'is' | 'isnot' | 'in' | 'notin' | 'of' | 'as' | 'from'
  10. | 'div' | 'mod' | 'shl' | 'shr' | 'not' | '..'
  11. prefixOperator = operator
  12. optInd = COMMENT? IND?
  13. optPar = (IND{>} | IND{=})?
  14. simpleExpr = arrowExpr (OP0 optInd arrowExpr)* pragma?
  15. arrowExpr = assignExpr (OP1 optInd assignExpr)*
  16. assignExpr = orExpr (OP2 optInd orExpr)*
  17. orExpr = andExpr (OP3 optInd andExpr)*
  18. andExpr = cmpExpr (OP4 optInd cmpExpr)*
  19. cmpExpr = sliceExpr (OP5 optInd sliceExpr)*
  20. sliceExpr = ampExpr (OP6 optInd ampExpr)*
  21. ampExpr = plusExpr (OP7 optInd plusExpr)*
  22. plusExpr = mulExpr (OP8 optInd mulExpr)*
  23. mulExpr = dollarExpr (OP9 optInd dollarExpr)*
  24. dollarExpr = primary (OP10 optInd primary)*
  25. operatorB = OP0 | OP1 | OP2 | OP3 | OP4 | OP5 | OP6 | OP7 | OP8 | OP9 |
  26. 'div' | 'mod' | 'shl' | 'shr' | 'in' | 'notin' |
  27. 'is' | 'isnot' | 'not' | 'of' | 'as' | 'from' | '..' | 'and' | 'or' | 'xor'
  28. symbol = '`' (KEYW|IDENT|literal|(operator|'('|')'|'['|']'|'{'|'}'|'=')+)+ '`'
  29. | IDENT | 'addr' | 'type' | 'static'
  30. symbolOrKeyword = symbol | KEYW
  31. exprColonEqExpr = expr ((':'|'=') expr
  32. / doBlock extraPostExprBlock*)?
  33. exprEqExpr = expr ('=' expr
  34. / doBlock extraPostExprBlock*)?
  35. exprList = expr ^+ comma
  36. optionalExprList = expr ^* comma
  37. exprColonEqExprList = exprColonEqExpr (comma exprColonEqExpr)* (comma)?
  38. qualifiedIdent = symbol ('.' optInd symbolOrKeyword)?
  39. setOrTableConstr = '{' ((exprColonEqExpr comma)* | ':' ) '}'
  40. castExpr = 'cast' ('[' optInd typeDesc optPar ']' '(' optInd expr optPar ')') /
  41. parKeyw = 'discard' | 'include' | 'if' | 'while' | 'case' | 'try'
  42. | 'finally' | 'except' | 'for' | 'block' | 'const' | 'let'
  43. | 'when' | 'var' | 'mixin'
  44. par = '(' optInd
  45. ( &parKeyw (ifExpr / complexOrSimpleStmt) ^+ ';'
  46. | ';' (ifExpr / complexOrSimpleStmt) ^+ ';'
  47. | pragmaStmt
  48. | simpleExpr ( (doBlock extraPostExprBlock*)
  49. | ('=' expr (';' (ifExpr / complexOrSimpleStmt) ^+ ';' )? )
  50. | (':' expr (',' exprColonEqExpr ^+ ',' )? ) ) )
  51. optPar ')'
  52. literal = | INT_LIT | INT8_LIT | INT16_LIT | INT32_LIT | INT64_LIT
  53. | UINT_LIT | UINT8_LIT | UINT16_LIT | UINT32_LIT | UINT64_LIT
  54. | FLOAT_LIT | FLOAT32_LIT | FLOAT64_LIT
  55. | STR_LIT | RSTR_LIT | TRIPLESTR_LIT
  56. | CHAR_LIT | CUSTOM_NUMERIC_LIT
  57. | NIL
  58. generalizedLit = GENERALIZED_STR_LIT | GENERALIZED_TRIPLESTR_LIT
  59. identOrLiteral = generalizedLit | symbol | literal
  60. | par | arrayConstr | setOrTableConstr | tupleConstr
  61. | castExpr
  62. tupleConstr = '(' optInd (exprColonEqExpr comma?)* optPar ')'
  63. arrayConstr = '[' optInd (exprColonEqExpr comma?)* optPar ']'
  64. primarySuffix = '(' (exprColonEqExpr comma?)* ')'
  65. | '.' optInd symbolOrKeyword ('[:' exprList ']' ( '(' exprColonEqExpr ')' )?)? generalizedLit?
  66. | DOTLIKEOP optInd symbolOrKeyword generalizedLit?
  67. | '[' optInd exprColonEqExprList optPar ']'
  68. | '{' optInd exprColonEqExprList optPar '}'
  69. pragma = '{.' optInd (exprColonEqExpr comma?)* optPar ('.}' | '}')
  70. identVis = symbol OPR? # postfix position
  71. identVisDot = symbol '.' optInd symbolOrKeyword OPR?
  72. identWithPragma = identVis pragma?
  73. identWithPragmaDot = identVisDot pragma?
  74. declColonEquals = identWithPragma (comma identWithPragma)* comma?
  75. (':' optInd typeDescExpr)? ('=' optInd expr)?
  76. identColonEquals = IDENT (comma IDENT)* comma?
  77. (':' optInd typeDescExpr)? ('=' optInd expr)?)
  78. tupleTypeBracket = '[' optInd (identColonEquals (comma/semicolon)?)* optPar ']'
  79. tupleType = 'tuple' tupleTypeBracket
  80. tupleDecl = 'tuple' (tupleTypeBracket /
  81. COMMENT? (IND{>} identColonEquals (IND{=} identColonEquals)*)?)
  82. paramList = '(' declColonEquals ^* (comma/semicolon) ')'
  83. paramListArrow = paramList? ('->' optInd typeDesc)?
  84. paramListColon = paramList? (':' optInd typeDesc)?
  85. doBlock = 'do' paramListArrow pragma? colcom stmt
  86. routineExpr = ('proc' | 'func' | 'iterator') paramListColon pragma? ('=' COMMENT? stmt)?
  87. routineType = ('proc' | 'iterator') paramListColon pragma?
  88. forStmt = 'for' ((varTuple / identWithPragma) ^+ comma) 'in' expr colcom stmt
  89. forExpr = forStmt
  90. expr = (blockExpr
  91. | ifExpr
  92. | whenExpr
  93. | caseStmt
  94. | forExpr
  95. | tryExpr)
  96. / simpleExpr
  97. simplePrimary = SIGILLIKEOP? identOrLiteral primarySuffix*
  98. commandStart = &('`'|IDENT|literal|'cast'|'addr'|'type'|'var'|'out'|
  99. 'static'|'enum'|'tuple'|'object'|'proc')
  100. primary = simplePrimary (commandStart expr (doBlock extraPostExprBlock*)?)?
  101. / operatorB primary
  102. / routineExpr
  103. / rawTypeDesc
  104. / prefixOperator primary
  105. rawTypeDesc = (tupleType | routineType | 'enum' | 'object' |
  106. ('var' | 'out' | 'ref' | 'ptr' | 'distinct') typeDesc?)
  107. ('not' primary)?
  108. typeDescExpr = (routineType / simpleExpr) ('not' primary)?
  109. typeDesc = rawTypeDesc / typeDescExpr
  110. typeDefValue = ((tupleDecl | enumDecl | objectDecl | conceptDecl |
  111. ('ref' | 'ptr' | 'distinct') (tupleDecl | objectDecl))
  112. / (simpleExpr (exprEqExpr ^+ comma postExprBlocks?)?))
  113. ('not' primary)?
  114. extraPostExprBlock = ( IND{=} doBlock
  115. | IND{=} 'of' exprList ':' stmt
  116. | IND{=} 'elif' expr ':' stmt
  117. | IND{=} 'except' optionalExprList ':' stmt
  118. | IND{=} 'finally' ':' stmt
  119. | IND{=} 'else' ':' stmt )
  120. postExprBlocks = (doBlock / ':' (extraPostExprBlock / stmt)) extraPostExprBlock*
  121. exprStmt = simpleExpr postExprBlocks?
  122. / simplePrimary (exprEqExpr ^+ comma) postExprBlocks?
  123. / simpleExpr '=' optInd (expr postExprBlocks?)
  124. importStmt = 'import' optInd expr
  125. ((comma expr)*
  126. / 'except' optInd (expr ^+ comma))
  127. exportStmt = 'export' optInd expr
  128. ((comma expr)*
  129. / 'except' optInd (expr ^+ comma))
  130. includeStmt = 'include' optInd expr ^+ comma
  131. fromStmt = 'from' expr 'import' optInd expr (comma expr)*
  132. returnStmt = 'return' optInd expr?
  133. raiseStmt = 'raise' optInd expr?
  134. yieldStmt = 'yield' optInd expr?
  135. discardStmt = 'discard' optInd expr?
  136. breakStmt = 'break' optInd expr?
  137. continueStmt = 'continue' optInd expr?
  138. condStmt = expr colcom stmt COMMENT?
  139. (IND{=} 'elif' expr colcom stmt)*
  140. (IND{=} 'else' colcom stmt)?
  141. ifStmt = 'if' condStmt
  142. whenStmt = 'when' condStmt
  143. condExpr = expr colcom stmt optInd
  144. ('elif' expr colcom stmt optInd)*
  145. 'else' colcom stmt
  146. ifExpr = 'if' condExpr
  147. whenExpr = 'when' condExpr
  148. whileStmt = 'while' expr colcom stmt
  149. ofBranch = 'of' exprList colcom stmt
  150. ofBranches = ofBranch (IND{=} ofBranch)*
  151. (IND{=} 'elif' expr colcom stmt)*
  152. (IND{=} 'else' colcom stmt)?
  153. caseStmt = 'case' expr ':'? COMMENT?
  154. (IND{>} ofBranches DED
  155. | IND{=} ofBranches)
  156. tryStmt = 'try' colcom stmt &(IND{=}? 'except'|'finally')
  157. (IND{=}? 'except' optionalExprList colcom stmt)*
  158. (IND{=}? 'finally' colcom stmt)?
  159. tryExpr = 'try' colcom stmt &(optInd 'except'|'finally')
  160. (optInd 'except' optionalExprList colcom stmt)*
  161. (optInd 'finally' colcom stmt)?
  162. blockStmt = 'block' symbol? colcom stmt
  163. blockExpr = 'block' symbol? colcom stmt
  164. staticStmt = 'static' colcom stmt
  165. deferStmt = 'defer' colcom stmt
  166. asmStmt = 'asm' pragma? (STR_LIT | RSTR_LIT | TRIPLESTR_LIT)
  167. genericParam = symbol (comma symbol)* (colon expr)? ('=' optInd expr)?
  168. genericParamList = '[' optInd
  169. genericParam ^* (comma/semicolon) optPar ']'
  170. pattern = '{' stmt '}'
  171. indAndComment = (IND{>} COMMENT)? | COMMENT?
  172. routine = optInd identVis pattern? genericParamList?
  173. paramListColon pragma? ('=' COMMENT? stmt)? indAndComment
  174. commentStmt = COMMENT
  175. section(RULE) = COMMENT? RULE / (IND{>} (RULE / COMMENT)^+IND{=} DED)
  176. enumDecl = 'enum' optInd (symbol pragma? optInd ('=' optInd expr COMMENT?)? comma?)+
  177. objectWhen = 'when' expr colcom objectPart COMMENT?
  178. ('elif' expr colcom objectPart COMMENT?)*
  179. ('else' colcom objectPart COMMENT?)?
  180. objectBranch = 'of' exprList colcom objectPart
  181. objectBranches = objectBranch (IND{=} objectBranch)*
  182. (IND{=} 'elif' expr colcom objectPart)*
  183. (IND{=} 'else' colcom objectPart)?
  184. objectCase = 'case' declColonEquals ':'? COMMENT?
  185. (IND{>} objectBranches DED
  186. | IND{=} objectBranches)
  187. objectPart = IND{>} objectPart^+IND{=} DED
  188. / objectWhen / objectCase / 'nil' / 'discard' / declColonEquals
  189. objectDecl = 'object' ('of' typeDesc)? COMMENT? objectPart
  190. conceptParam = ('var' | 'out')? symbol
  191. conceptDecl = 'concept' conceptParam ^* ',' (pragma)? ('of' typeDesc ^* ',')?
  192. &IND{>} stmt
  193. typeDef = identVisDot genericParamList? pragma '=' optInd typeDefValue
  194. indAndComment?
  195. varTupleLhs = '(' optInd (identWithPragma / varTupleLhs) ^+ comma optPar ')' (':' optInd typeDescExpr)?
  196. varTuple = varTupleLhs '=' optInd expr
  197. colonBody = colcom stmt postExprBlocks?
  198. variable = (varTuple / identColonEquals) colonBody? indAndComment
  199. constant = (varTuple / identWithPragma) (colon typeDesc)? '=' optInd expr indAndComment
  200. bindStmt = 'bind' optInd qualifiedIdent ^+ comma
  201. mixinStmt = 'mixin' optInd qualifiedIdent ^+ comma
  202. pragmaStmt = pragma (':' COMMENT? stmt)?
  203. simpleStmt = ((returnStmt | raiseStmt | yieldStmt | discardStmt | breakStmt
  204. | continueStmt | pragmaStmt | importStmt | exportStmt | fromStmt
  205. | includeStmt | commentStmt) / exprStmt) COMMENT?
  206. complexOrSimpleStmt = (ifStmt | whenStmt | whileStmt
  207. | tryStmt | forStmt
  208. | blockStmt | staticStmt | deferStmt | asmStmt
  209. | 'proc' routine
  210. | 'method' routine
  211. | 'func' routine
  212. | 'iterator' routine
  213. | 'macro' routine
  214. | 'template' routine
  215. | 'converter' routine
  216. | 'type' section(typeDef)
  217. | 'const' section(constant)
  218. | ('let' | 'var' | 'using') section(variable)
  219. | bindStmt | mixinStmt)
  220. / simpleStmt
  221. stmt = (IND{>} complexOrSimpleStmt^+(IND{=} / ';') DED)
  222. / simpleStmt ^+ ';'