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

Work around happy bug by adding type signature on ipat

Browse Source
This commit is contained in:
Eric Mertens 2017-09-11 10:36:59 -07:00
parent bf571569fa
commit 28bc4f81de
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol.cabal
View File

@ -75,7 +75,7 @@ library
mtl >= 2.2.1,
time >= 1.6.0.1
Build-tools: alex, happy < 1.19.6
Build-tools: alex, happy
hs-source-dirs: src
Exposed-modules: Cryptol.Prims.Syntax,

2
src/Cryptol/Parser.y
View File

@ -516,7 +516,7 @@ pat :: { Pattern PName }
: ipat ':' type { at ($1,$3) $ PTyped $1 $3 }
| ipat { $1 }
ipat
ipat :: { Pattern PName }
: ipat '#' ipat { at ($1,$3) $ PSplit $1 $3 }
| apat { $1 }