# HG changeset patch
# User clasohm
# Date 817732724 -3600
# Node ID d04af07266e8896159509a3a48c2bdac7ed549f6
# Parent  5e407f2a332398d327da3c2aa867a3e149f91a49
removed spaghetti diagrams for constType

diff -r 5e407f2a3323 -r d04af07266e8 doc-src/Ref/theory-syntax.tex
--- a/doc-src/Ref/theory-syntax.tex	Wed Nov 29 17:01:41 1995 +0100
+++ b/doc-src/Ref/theory-syntax.tex	Thu Nov 30 12:58:44 1995 +0100
@@ -70,23 +70,13 @@
 consts : 'consts' ( ( constDecl ( () | ( '(' mixfix ')' ) ) ) + )
        ;
 
-constDecl : ( name + ',') '::' (string | constType) ;
-
-constType : ( applParam * ) applLast;
-
-applParam : ( complexType | '(' paramType ')' |
-              '[' (paramType + ',') ']' ) '=>';
-
-applLast: ( simpleType | '(' (paramType + ',') ')' ) (id *);
+constDecl : ( name + ',') '::' (string | constType);
 
-complexType: ( simpleType | '(' complexType ')' ) ( id + ) |
-             '(' ( ( complexType | '(' complexType ')' ) + ',' ) ')'
-             id +;
+constType : simpleType | '(' constType ')' | '[' ( constType + "," ) ']'
+            '=>' constType | constType '=>' constType;
 
-paramType: ( complexType | '(' paramType ')' | '[' ( paramType + ',' ) ']' )
-           ( '=>' paramType * );
-
-simpleType: id | ( tid ( () | '::' id ) );
+simpleType: id | ( tid ( () | '::' id ) ) |
+            '(' ( constType + "," ) ')' id | simpleType id;
 
 mixfix :  string ( () | ( () | ('[' (nat + ',') ']')) nat )
        | infix