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

Merge branch 'master' of github.com:GaloisInc/macaw-semmc

Browse Source
This commit is contained in:
Tristan Ravitch 2018-11-25 08:40:25 -08:00
commit fa570e0c1a
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
macaw-semmc/src/Data/Macaw/SemMC/Generator.hs
View File

@ -52,6 +52,7 @@ import GHC.TypeLits
import Control.Lens import Control.Lens
import qualified Control.Monad.Cont as Ct import qualified Control.Monad.Cont as Ct
import qualified Control.Monad.Except as ET import qualified Control.Monad.Except as ET
import Control.Monad.Fail
import qualified Control.Monad.Reader as Rd import qualified Control.Monad.Reader as Rd
import Control.Monad.ST ( ST ) import Control.Monad.ST ( ST )
import qualified Control.Monad.State.Strict as St import qualified Control.Monad.State.Strict as St
@ -248,6 +249,9 @@ instance St.MonadState (GenState arch ids s) (Generator arch ids s) where
instance ET.MonadError GeneratorError (Generator arch ids s) where instance ET.MonadError GeneratorError (Generator arch ids s) where
throwError e = Generator (Ct.ContT (\_ -> ET.throwError e)) throwError e = Generator (Ct.ContT (\_ -> ET.throwError e))
instance MonadFail (Generator arch ids s) where
fail err = ET.throwError $ GeneratorMessage $ show err
-- | The type of continuations provided by 'shiftGen' -- | The type of continuations provided by 'shiftGen'
type GenCont arch ids s a = a -> GenState arch ids s -> ET.ExceptT GeneratorError (ST s) (GenResult arch ids) type GenCont arch ids s a = a -> GenState arch ids s -> ET.ExceptT GeneratorError (ST s) (GenResult arch ids)