| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2019-04-25 22:41:39 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2019-04-25 22:41:39 +0200 |
| commit | 89f6fbd55b9eebcc296c6d933009c7ec6aa35e55 (patch) | |
| tree | e97d677c58a220f2d61ad5f678feb12dd865dfc0 /src/ataxic.erl | |
| parent | 3b2c01735adc75f6d778916f21ac9cf40c008df4 (diff) | |
Makes it pass the Dialyzer check again.
Diffstat (limited to 'src/ataxic.erl')
| -rw-r--r-- | src/ataxic.erl | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/ataxic.erl b/src/ataxic.erl index 92c11b1..4a1bd8b 100644 --- a/src/ataxic.erl +++ b/src/ataxic.erl @@ -183,7 +183,15 @@ optimize_update_field_sequence (UnsortedOPs, CurrentResults) -> {FieldUpdates, PotentiallyImportantOPs} = lists:splitwith(fun (E) -> is_record(E, upfield) end, UnsortedOPs), - SortedFieldUpdates = lists:sort(fun (E) -> E#upfield.ix end, FieldUpdates), + SortedFieldUpdates = + lists:sort + ( + fun (A, B) -> + ((A#upfield.ix) =< (B#upfield.ix)) + end, + FieldUpdates + ), + {LastIX, LastUpdateOPs, OtherMergedFieldUpdates} = lists:foldl ( @@ -247,7 +255,7 @@ optimize_update_field_sequence (UnsortedOPs, CurrentResults) -> (CurrentResults ++ MergedFieldUpdates ++ ImportantOPs) ). --spec flatten_sequence (list(basic())) -> basic(). +-spec flatten_sequence (list(basic())) -> list(basic()). flatten_sequence (OPs) -> lists:foldl ( |


