GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-22 11:27:44 +03:00
Code Issues Projects Releases Wiki Activity

Add upper bound on happy

Browse Source 
A bug introduced in happy-1.19.6 causes incorrect type signatures
to be generated in the parser source file which lead to type
checker errors
This commit is contained in:
Eric Mertens 2017-09-11 10:20:22 -07:00
parent bbcd39d400
commit bf571569fa
1 changed files with 1 additions and 1 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
Build-tools: alex, happy < 1.19.6
hs-source-dirs: src
Exposed-modules: Cryptol.Prims.Syntax,