GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-29 01:45:36 +03:00
Code Issues Projects Releases Wiki Activity

Reverse alternatives in multi-way if.

Browse Source 
Fixes #245
This commit is contained in:
Iavor S. Diatchki 2015-06-22 09:20:08 -07:00
parent efc4443707
commit 6ddec6d128
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Cryptol/Parser.y
View File

@ -363,7 +363,7 @@ ifBranch :: { (Expr, Expr) }
cexpr :: { Expr }
: sig_expr { $1 }
| 'if' ifBranches 'else' cexpr { at ($1,$4) $ mkIf $2 $4 }
| 'if' ifBranches 'else' cexpr { at ($1,$4) $ mkIf (reverse $2) $4 }
| '\\' apats '->' cexpr { at ($1,$4) $ EFun (reverse $2) $4 }
sig_expr :: { Expr }