| 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_sugar.erl | |
| parent | 3b2c01735adc75f6d778916f21ac9cf40c008df4 (diff) | |
Makes it pass the Dialyzer check again.
Diffstat (limited to 'src/ataxic_sugar.erl')
| -rw-r--r-- | src/ataxic_sugar.erl | 10 | 
1 files changed, 7 insertions, 3 deletions
| diff --git a/src/ataxic_sugar.erl b/src/ataxic_sugar.erl index eb0ef57..3098196 100644 --- a/src/ataxic_sugar.erl +++ b/src/ataxic_sugar.erl @@ -86,10 +86,14 @@ update_orddict_element (IX, OP) ->  -spec nop () -> ataxic:basic().  nop () -> ataxic:sequence([]). --spec update_ordset (ordsets:ordset(), ordsets:ordeset()) -> ataxic:basic(). +-spec update_ordset +   ( +      ordsets:ordset(any()), +      ordsets:ordset(any()) +   ) -> ataxic:basic().  update_ordset (Old, New) -> -   Remove = ordsets:substract(Old, New), -   Add = ordsets:substract(New, Old), +   Remove = ordsets:subtract(Old, New), +   Add = ordsets:subtract(New, Old),     ataxic:sequence     ( | 


