picnoir/hnix
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Add a bogus MonadCatch instance for (Lint s)

Browse source
This commit is contained in:
John Wiegley 2018-08-05 12:00:33 -04:00
parent 842634971e
commit edaf59b56a
No known key found for this signature in database
GPG key ID: C144D8F4F19FE630
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/Nix/Lint.hs
View file

@ -23,7 +23,6 @@
module Nix.Lint where
import Control.Exception
import Control.Monad
import Control.Monad.Catch
import Control.Monad.Fix
@ -115,7 +114,8 @@ unpackSymbolic :: MonadVar m
=> Symbolic m -> m (NSymbolicF (NTypeF m (SThunk m)))
unpackSymbolic = readVar . coerce
type MonadLint e m = (Scoped e (SThunk m) m, Framed e m, MonadVar m)
type MonadLint e m = (Scoped e (SThunk m) m, Framed e m, MonadVar m,
MonadCatch m)
symerr :: forall e m a. MonadLint e m => String -> m a
symerr = evalError @(Symbolic m) . ErrorCall
@ -404,6 +404,9 @@ instance MonadVar (Lint s) where
instance MonadThrow (Lint s) where
throwM e = Lint $ ReaderT $ \_ -> throw e
instance MonadCatch (Lint s) where
catch _m _h = Lint $ ReaderT $ \_ -> error "Cannot catch in 'Lint s'"
runLintM :: Options -> Lint s a -> ST s a
runLintM opts = flip runReaderT (newContext opts) . runLint