diff options
Diffstat (limited to 'src/compiler/GF/Infra/CheckM.hs')
| -rw-r--r-- | src/compiler/GF/Infra/CheckM.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/compiler/GF/Infra/CheckM.hs b/src/compiler/GF/Infra/CheckM.hs index 24fbc3644..80f2409fa 100644 --- a/src/compiler/GF/Infra/CheckM.hs +++ b/src/compiler/GF/Infra/CheckM.hs @@ -28,7 +28,8 @@ import qualified Data.Map as Map import GF.Text.Pretty import System.FilePath(makeRelative) import Control.Parallel.Strategies(parList,rseq,using) -import Control.Monad(liftM) +import Control.Monad(liftM,ap) +import Control.Applicative(Applicative(..)) type Message = Doc type Error = Message @@ -50,6 +51,10 @@ instance Monad Check where (ws,Success x) -> unCheck (g x) {-ctxt-} ws (ws,Fail msg) -> (ws,Fail msg) +instance Applicative Check where + pure = return + (<*>) = ap + instance ErrorMonad Check where raise s = checkError (pp s) handle f h = handle' f (h . render) |