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

Select exceptions/MonadExceptions from haskeline version, not base.

Browse Source
This commit is contained in:
Kevin Quick 2020-05-11 11:30:34 -07:00
parent 135df682da
commit e4c0f9e41f
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
cryptol/REPL/Haskeline.hs
View File

@ -23,7 +23,7 @@ import Cryptol.Utils.Ident(modNameToText, interactiveName)
import qualified Control.Exception as X
import Control.Monad (guard, join)
import qualified Control.Monad.Trans.Class as MTL
#if !MIN_VERSION_base(4,14,0)
#if !MIN_VERSION_haskeline(0,8,0)
import Control.Monad.Trans.Control
#endif
import Data.Char (isAlphaNum, isSpace)
@ -162,7 +162,7 @@ data Cryptolrc =
-- Utilities -------------------------------------------------------------------
#if !MIN_VERSION_base(4,14,0)
#if !MIN_VERSION_haskeline(0,8,0)
instance MonadException REPL where
controlIO f = join $ liftBaseWith $ \f' ->
f $ RunIO $ \m -> restoreM <$> (f' m)