diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-15 23:11:25 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-08-15 23:12:45 +0200 |
| commit | d1ae298161660e5fd2ac9a0dcbc3c3b3305a05e5 (patch) | |
| tree | c5016468984be16c65a373c3b54c03a28e0d30ba /main/Test.hs | |
| parent | 03c1f809b23d5ab1613ce5633acc9706469587c1 (diff) | |
Diffstat (limited to 'main/Test.hs')
| -rw-r--r-- | main/Test.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/main/Test.hs b/main/Test.hs index f9657c2..6ee75bd 100644 --- a/main/Test.hs +++ b/main/Test.hs @@ -289,6 +289,11 @@ instance MonadHead LocalState CommandM where modify $ \s -> s { tsHead = Just h' } return x + getLocalHeadCache _ = do + h <- maybe (fail "failed to reload head") return =<< reloadHead =<< getOrLoadHead + modify $ \s -> s { tsHead = Just h } + return $ headCache h + type Command = CommandM () commands :: [ ( Text, Command ) ] |