Commit 57ae57b4 authored by Simon Marlow's avatar Simon Marlow
Browse files

incorporate DoAndIfThenElse

parent 2773b482
......@@ -43,7 +43,7 @@ lexp^6 -> @-@ exp^7
rexp^i -> exp^{i+1} qop^{({\rm{r}},i)} (rexp^i | exp^{i+1})
exp^{10} -> @\@ apat_1 ... apat_n @->@ exp & (\tr{lambda abstraction}, n>=1)
| @let@ decls @in@ exp & ({\tr{let expression}})
| @if@ exp \hprime{[@;@]} @then@ exp hprime{[@;@]} @else@ exp & (\tr{conditional})
| @if@ exp \hprime{[@;@]} @then@ exp \hprime{[@;@]} @else@ exp & (\tr{conditional})
| @case@ exp @of@ @{@ alts @}@ & (\tr{case expression})
| @do@ @{@ stmts @}@ & (\tr{do expression})
| fexp
......
......@@ -604,7 +604,7 @@ lexp^6 -> @-@ exp^7
rexp^i -> exp^{i+1} qop^{({\rm{}r},i)} (rexp^i | exp^{i+1})
exp^{10} -> @\@ apat_1 ... apat_n @->@ exp & (\tr{lambda abstraction}, n>=1)
| @let@ decls @in@ exp & ({\tr{let expression}})
| @if@ exp @then@ exp @else@ exp & (\tr{conditional})
| @if@ exp \hprime{[@;@]} @then@ exp \hprime{[@;@]} @else@ exp & (\tr{conditional})
| @case@ exp @of@ @{@ alts @}@ & (\tr{case expression})
| @do@ @{@ stmts @}@ & (\tr{do expression})
| fexp
......
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