diff options
Diffstat (limited to 'doc/grammar.txt')
| -rwxr-xr-x | doc/grammar.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/grammar.txt b/doc/grammar.txt index c84caec49..062698690 100755 --- a/doc/grammar.txt +++ b/doc/grammar.txt @@ -137,7 +137,11 @@ pragma ::= '{.' optInd (colonExpr [comma])* optPar ('.}' | '}') param ::= symbol (comma symbol)* (':' typeDesc ['=' expr] | '=' expr) paramList ::= ['(' [param (comma param)*] optPar ')'] [':' typeDesc] -genericParam ::= symbol [':' typeDesc] ['=' expr] +genericConstraint ::= 'object' | 'tuple' | 'enum' | 'proc' | 'ref' | 'ptr' + | 'var' | 'distinct' | primary +genericConstraints ::= genericConstraint ( '|' optInd genericConstraint )* + +genericParam ::= symbol [':' genericConstraints] ['=' expr] genericParams ::= '[' genericParam (comma genericParam)* optPar ']' |