Package: haskell-cryptol / 2.6.0-4

Metadata

Package Version Patches format
haskell-cryptol 2.6.0-4 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
newer deps | (download)

cryptol.cabal | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

---
634c5a03e757663bf86d1ffad1ce2c6086d4483f.patch | (download)

src/Cryptol/REPL/Command.hs | 6 4 + 2 - 0 !
1 file changed, 4 insertions(+), 2 deletions(-)

 [patch] suppress repl instantiation messages when warndefaulting =
 off.

Fixes #543.

a8eab11b319f6434f9b01b26d419b8305ff30bc2.patch | (download)

src/Cryptol/ModuleSystem/Renamer.hs | 15 12 + 3 - 0 !
src/Cryptol/Prims/Eval.hs | 2 1 + 1 - 0 !
src/Cryptol/REPL/Command.hs | 26 13 + 13 - 0 !
src/Cryptol/REPL/Monad.hs | 42 36 + 6 - 0 !
src/Cryptol/Transform/Specialize.hs | 2 1 + 1 - 0 !
src/Cryptol/TypeCheck/CheckModuleInstance.hs | 2 1 + 1 - 0 !
src/Cryptol/TypeCheck/Infer.hs | 2 1 + 1 - 0 !
7 files changed, 65 insertions(+), 26 deletions(-)

 [patch] changes to avoid irrefutable patterns.

This is to make things build with GHC 8.6, which requires a MonadFail
instance.

Pretty much all of these should end up being `panic`, so perhaps we should
rewrite more of them to call `panic` (instead of using lazy patterns)