sforman
/
Thun
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove unused predicates appears_only_once/2 and reg_used_once/2.

This commit is contained in:
Simon Forman 2020-01-31 08:30:10 -08:00
parent 3d1c9bab95
commit a14a55defb
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
thun/thun.pl
View File

@ -731,10 +731,6 @@ reggy(FreePool, References, ValueMap)
encode_list(List, FP, FP, Addr) --> [],
{addr(list(List))=Addr}.
appears_only_once(Term, List) :- append(_, [Term|Tail], List), !, \+ member(Term, Tail).
reg_used_once(Reg, reggy(_, References, _)) :- appears_only_once(Reg, References).
get_reggy([], _, _) :- writeln('Out of Registers'), fail.
get_reggy([Reg|FreePool], Reg, FreePool).