Skip to content

Commit

Permalink
Move tag_delta_to_string to more appropriate module.
Browse files Browse the repository at this point in the history
  • Loading branch information
wangp committed May 12, 2012
1 parent 00851dd commit 8e81550
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 4 deletions.
4 changes: 0 additions & 4 deletions maildir.m
Original file line number Original file line Diff line number Diff line change
Expand Up @@ -133,9 +133,5 @@
Res = error(Error) Res = error(Error)
). ).


:- func tag_delta_to_string(tag_delta) = string.

tag_delta_to_string(tag_delta(String)) = String.

%-----------------------------------------------------------------------------% %-----------------------------------------------------------------------------%
% vim: ft=mercury ts=4 sts=4 sw=4 et % vim: ft=mercury ts=4 sts=4 sw=4 et
6 changes: 6 additions & 0 deletions tags.m
Original file line number Original file line Diff line number Diff line change
Expand Up @@ -32,6 +32,8 @@
:- type tag_delta :- type tag_delta
---> tag_delta(string). % +tag or -tag ---> tag_delta(string). % +tag or -tag


:- func tag_delta_to_string(tag_delta) = string.

:- pred standard_tag(tag::in) is semidet. :- pred standard_tag(tag::in) is semidet.


:- pred get_standard_tag_state(set(tag)::in, :- pred get_standard_tag_state(set(tag)::in,
Expand All @@ -57,6 +59,10 @@


%-----------------------------------------------------------------------------% %-----------------------------------------------------------------------------%


tag_delta_to_string(tag_delta(String)) = String.

%-----------------------------------------------------------------------------%

standard_tag(tag("deleted")). standard_tag(tag("deleted")).
standard_tag(tag("flagged")). standard_tag(tag("flagged")).
standard_tag(tag("inbox")). standard_tag(tag("inbox")).
Expand Down

0 comments on commit 8e81550

Please sign in to comment.