diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2024-11-28 20:32:39 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2024-11-28 22:34:10 +0100 |
| commit | 604d44dce0971443159e8fc35ee2b033ff958ac5 (patch) | |
| tree | f81688f7474ac6833452fb724c69adf0d395abac /src/Run/Monad.hs | |
| parent | d22257b9f43ba30dd3ca1274d1aa61e688585785 (diff) | |
Separate VarValue type without hidden type
Diffstat (limited to 'src/Run/Monad.hs')
| -rw-r--r-- | src/Run/Monad.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Run/Monad.hs b/src/Run/Monad.hs index 54600f0..512dd72 100644 --- a/src/Run/Monad.hs +++ b/src/Run/Monad.hs @@ -96,7 +96,7 @@ instance MonadEval TestRun where lookupVar name = maybe (fail $ "variable not in scope: '" ++ unpackVarName name ++ "'") return =<< asks (lookup name . tsVars . snd) rootNetwork = asks $ tsNetwork . snd - withVar name value = local (fmap $ \s -> s { tsVars = ( name, SomeVarValue [] mempty $ const $ const value ) : tsVars s }) + withVar name value = local (fmap $ \s -> s { tsVars = ( name, someConstValue value ) : tsVars s }) instance MonadOutput TestRun where getOutput = asks $ teOutput . fst |