diff options
| author | Andreas Källberg <anka.213@gmail.com> | 2020-09-05 14:39:26 +0200 |
|---|---|---|
| committer | Andreas Källberg <anka.213@gmail.com> | 2020-09-05 18:57:40 +0200 |
| commit | 1234c715fc6fe19d0c9fce794e4dfedf190b8d18 (patch) | |
| tree | 1533b4655b656686d87571ae072b3b608a898b65 /src | |
| parent | 47dbf9ac278857b367f2db254cce536da812010c (diff) | |
Fix MonadFail for c-runtime as well
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Command/Commands2.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Command/Commands2.hs b/src/compiler/GF/Command/Commands2.hs index 344b6b51d..41232fca8 100644 --- a/src/compiler/GF/Command/Commands2.hs +++ b/src/compiler/GF/Command/Commands2.hs @@ -25,7 +25,7 @@ data PGFEnv = Env {pgf::Maybe PGF,concs::Map.Map ConcName Concr} pgfEnv pgf = Env (Just pgf) (languages pgf) emptyPGFEnv = Env Nothing Map.empty -class (Monad m,MonadSIO m) => HasPGFEnv m where getPGFEnv :: m PGFEnv +class (MonadFail m,MonadSIO m) => HasPGFEnv m where getPGFEnv :: m PGFEnv instance (Monad m,HasPGFEnv m) => TypeCheckArg m where typeCheckArg e = do env <- getPGFEnv |