removed spaghetti diagrams for constType
authorclasohm
Thu Nov 30 12:58:44 1995 +0100 (1995-11-30)
changeset 1375d04af07266e8
parent 1374 5e407f2a3323
child 1376 92f83b9d17e1
removed spaghetti diagrams for constType
doc-src/Ref/theory-syntax.tex
     1.1 --- a/doc-src/Ref/theory-syntax.tex	Wed Nov 29 17:01:41 1995 +0100
     1.2 +++ b/doc-src/Ref/theory-syntax.tex	Thu Nov 30 12:58:44 1995 +0100
     1.3 @@ -70,23 +70,13 @@
     1.4  consts : 'consts' ( ( constDecl ( () | ( '(' mixfix ')' ) ) ) + )
     1.5         ;
     1.6  
     1.7 -constDecl : ( name + ',') '::' (string | constType) ;
     1.8 -
     1.9 -constType : ( applParam * ) applLast;
    1.10 -
    1.11 -applParam : ( complexType | '(' paramType ')' |
    1.12 -              '[' (paramType + ',') ']' ) '=>';
    1.13 -
    1.14 -applLast: ( simpleType | '(' (paramType + ',') ')' ) (id *);
    1.15 +constDecl : ( name + ',') '::' (string | constType);
    1.16  
    1.17 -complexType: ( simpleType | '(' complexType ')' ) ( id + ) |
    1.18 -             '(' ( ( complexType | '(' complexType ')' ) + ',' ) ')'
    1.19 -             id +;
    1.20 +constType : simpleType | '(' constType ')' | '[' ( constType + "," ) ']'
    1.21 +            '=>' constType | constType '=>' constType;
    1.22  
    1.23 -paramType: ( complexType | '(' paramType ')' | '[' ( paramType + ',' ) ']' )
    1.24 -           ( '=>' paramType * );
    1.25 -
    1.26 -simpleType: id | ( tid ( () | '::' id ) );
    1.27 +simpleType: id | ( tid ( () | '::' id ) ) |
    1.28 +            '(' ( constType + "," ) ')' id | simpleType id;
    1.29  
    1.30  mixfix :  string ( () | ( () | ('[' (nat + ',') ']')) nat )
    1.31         | infix