doc-src/Ref/theory-syntax.tex
changeset 1382 7e97232c1159
parent 1379 8f693d2ffb59
child 1385 63c3d78df538
     1.1 --- a/doc-src/Ref/theory-syntax.tex	Fri Dec 01 13:03:34 1995 +0100
     1.2 +++ b/doc-src/Ref/theory-syntax.tex	Fri Dec 01 13:41:48 1995 +0100
     1.3 @@ -70,13 +70,13 @@
     1.4  consts : 'consts' ( ( constDecl ( () | ( '(' mixfix ')' ) ) ) + )
     1.5         ;
     1.6  
     1.7 -constDecl : ( name + ',') '::' (string | constType);
     1.8 +constDecl : ( name + ',') '::' (string | type);
     1.9  
    1.10 -constType : simpleType | '(' constType ')' | '[' ( constType + "," ) ']'
    1.11 -            '=>' constType | constType '=>' constType;
    1.12 +type : simpleType | '(' type ')' | type '=>' type |
    1.13 +       '[' ( type + "," ) ']' '=>' type;
    1.14  
    1.15  simpleType: id | ( tid ( () | '::' id ) ) |
    1.16 -            '(' ( constType + "," ) ')' ( id + ',' ) | simpleType ( id + ',' );
    1.17 +            '(' ( type + "," ) ')' id | simpleType id;
    1.18  
    1.19  mixfix :  string ( () | ( () | ('[' (nat + ',') ']')) nat )
    1.20         | infix