Skip to content
Snippets Groups Projects
Commit 68fe0918 authored by Mart Lubbers's avatar Mart Lubbers
Browse files

Change the NoUserInterface implementation to always emit NoChange

parent 26d9f498
No related branches found
No related tags found
No related merge requests found
......@@ -156,9 +156,12 @@ where
instance tune NoUserInterface Task
where
tune NoUserInterface (Task eval) = Task eval`
tune NoUserInterface (Task eval) = Task eval`
where
eval` event repOpts state iworld = eval event {repOpts & noUI = True} state iworld
eval` event repOpts state iworld = case eval event repOpts state iworld of
(ValueResult taskvalue evalinfo _ tasktree, iworld)
= (ValueResult taskvalue evalinfo NoChange tasktree, iworld)
other = other
instance tune Title Task
where
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment