amalgame/commit
FIXED: sort_align issues
author | Jacco van Ossenbruggen |
---|---|
Mon Mar 2 15:31:38 2020 +0100 | |
committer | Jacco van Ossenbruggen |
Mon Mar 2 15:31:38 2020 +0100 | |
commit | bc8755516caa37e97350f936cda6e1e0237d1656 |
tree | d910c1ab1cbb652e5fb53fb98a8b0b6af03bc6f6 |
parent | d655ef2bad47acc5809791426f7452130528e28c |
Diff style: patch stat
diff --git a/lib/ag_modules/label_selecter.pl b/lib/ag_modules/label_selecter.pl index 252188e..ac6d6ac 100644 --- a/lib/ag_modules/label_selecter.pl +++ b/lib/ag_modules/label_selecter.pl @@ -10,7 +10,6 @@ :- use_module(library(lists)). :- use_module(library(option)). :- use_module(library(pairs)). -:- use_module(library(sort)). :- use_module(library(amalgame/map)). :- meta_predicate label_selecter(3, +, -, -, -, +). @@ -19,11 +18,11 @@ label_selecter(Matcher, In, Sel, Dis, Und, Options) :- option(type(SourceOrTarget), Options, all), ( SourceOrTarget \= source -> label_selecter(SourceOrTarget, Matcher, In, Sel, Dis, Und, Options) - ; predsort(ag_map:compare_align(target), In, InT), + ; sort_align(target, In, InT), label_selecter(SourceOrTarget, Matcher, InT, Sel0, Dis0, Und0, Options), - predsort(ag_map:compare_align(source), Sel0, Sel), - predsort(ag_map:compare_align(source), Dis0, Dis), - predsort(ag_map:compare_align(source), Und0, Und) + sort_align(source, Sel0, Sel), + sort_align(source, Dis0, Dis), + sort_align(source, Und0, Und) ). label_selecter( _, _, [], [], [], [], _).