Commit f92c6331 authored by Simon Marlow's avatar Simon Marlow
Browse files

include the guard syntax with funlhs, otherwise it doesn't make sense

parent c17c5882
......@@ -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})
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment