incorporate DoAndIfThenElse
authorSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 09:38:58 +0000 (09:38 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 09:38:58 +0000 (09:38 +0000)
report/exps.verb
report/syntax-iso.verb

index e473910..0ea8595 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 \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
index d463d9f..dd64a3a 100644 (file)
@@ -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