include the guard syntax with funlhs, otherwise it doesn't make sense
authorSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 14:59:46 +0000 (14:59 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Fri, 30 Apr 2010 14:59:46 +0000 (14:59 +0000)
report/decls.verb

index 372936c..4d100a2 100644 (file)
@@ -1535,12 +1535,17 @@ gdrhs   ->  \hprime{guards @=@ exp [gdrhs]}
 
 \hprime{guards}        ->  \hprime{@|@ guard_1, ..., guard_n}             & \hprime{(n>=1)}
 
+\indexsyn{guard}\hprime{guard} -> \hprime{pat @<-@ infixexp}   & (\hprime{\tr{pattern guard}})
+         | \hprime{@let@ decls}                & (\hprime{\tr{local declaration}})
+         | infixexp            & (\tr{boolean guard})
 @@@
 \indexsyn{decl}%
 \indexsyn{pat}%
 \indexsyn{rhs}%
 \indexsyn{gdrhs}%
-\indexsyn{qs}%
+\indexsyn{guards}%
+\indexsyn{guard}%
+
 We distinguish two cases within this syntax: a {\em pattern binding}
 occurs when the left hand side is a \hprime{"pat"}; 
 otherwise, the binding is called a {\em function