unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-27 02:07:14 +03:00
Code Issues Projects Releases Wiki Activity

eliminate some redundant evaluation requests

Browse Source
This commit is contained in:
Paul Chiusano 2015-03-10 22:48:48 -04:00
parent 56bfe34588
commit a517ea00a9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
editor/src/Unison/Editor.elm
View File

@ -221,7 +221,8 @@ refreshEvaluations : Action
refreshEvaluations model =
let go path = Maybe.map ((,) path) (Term.at (path `Path.snoc` Path.Arg) model.term)
paths = Trie.keys (View.reactivePaths model.term)
in (Just (Evaluations (List.filterMap go paths)), model)
in if List.isEmpty paths then norequest model
else (Just (Evaluations (List.filterMap go paths)), model)
combine : Action -> Action -> Action
combine f g model =