summary refs log tree commit diff stats
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/grammar.txt5
-rwxr-xr-xdoc/manual.txt5
2 files changed, 9 insertions, 1 deletions
diff --git a/doc/grammar.txt b/doc/grammar.txt
index 3e8c89a2e..9df8f57f4 100755
--- a/doc/grammar.txt
+++ b/doc/grammar.txt
@@ -96,7 +96,8 @@ simpleStmt ::= returnStmt
 complexStmt ::= ifStmt | whileStmt | caseStmt | tryStmt | forStmt
               | blockStmt | asmStmt
               | procDecl | iteratorDecl | macroDecl | templateDecl | methodDecl
-              | constSection | typeSection | whenStmt | varSection
+              | constSection | letSection | varSection
+              | typeSection | whenStmt
 
 indPush ::= IND # and push indentation onto the stack
 indPop ::= # pop indentation from the stack
@@ -157,6 +158,8 @@ colonAndEquals ::= [':' typeDesc] '=' expr
 constDecl ::= symbol ['*'] [pragma] colonAndEquals [COMMENT | IND COMMENT]
             | COMMENT
 constSection ::= 'const' indPush constDecl (SAD constDecl)* DED indPop
+letSection ::= 'let' indPush constDecl (SAD constDecl)* DED indPop
+
 typeDef ::= typeDesc | objectDef | enumDef | 'distinct' typeDesc
 
 objectField ::= symbol ['*'] [pragma]
diff --git a/doc/manual.txt b/doc/manual.txt
index 2002a2461..56c1fa95c 100755
--- a/doc/manual.txt
+++ b/doc/manual.txt
@@ -442,6 +442,11 @@ The rules for compile-time computability are:
    computable arguments.

 

 

+Constants cannot be of type ``var`` or ``object``, nor can 

+they contain such a type. For the types ``ptr`` and ``ref`` only the

+constant literal ``nil`` is possible.

+

+

 Types

 -----