Added optional semis on "if"
authorIavor S. Diatchki <iavor.diatchki@gmail.com>
Sat, 17 Feb 2007 00:27:45 +0000 (00:27 +0000)
committerIavor S. Diatchki <iavor.diatchki@gmail.com>
Sat, 17 Feb 2007 00:27:45 +0000 (00:27 +0000)
report/exps.verb

index e85fa59..38698c1 100644 (file)
@@ -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 @then@ exp @else@ exp      & (\tr{conditional})
+       |   @if@ exp [@;@] @then@ exp [@;@] @else@ exp  & (\tr{conditional})
        |   @case@ exp @of@ @{@ alts  @}@       & (\tr{case expression})
        |   @do@ @{@ stmts @}@                  & (\tr{do expression})
        |   fexp