add sugar

lmntal · Jun 25, 2024 · ffeef1c · ffeef1c
1 parent 858077b
commit ffeef1c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/lib/mell.lmn b/lib/mell.lmn
@@ -2,6 +2,9 @@
 {
 module(mell).
 
+mell.copy(M,A1,A2,A3,C1,C2), :- 
+  mell.copy(M,A1,A2,A3,B1,B2,C1,C2), {B1=B2}.
+
 /**
  * mell.copy(+Mem, +Cont1, +Cont2, +Cont3, +Cut1, +Cut2, +Free1, +Free2):
  *
@@ -22,7 +25,7 @@ mell.copy(M,A1,A2,A3,B1,B2,C1,C2) :-
     '$callback'('mell_copy', M, A1, A2, A3, B1, B2, C1, C2).
 
 
-mell.delete({$p,@p}), :- mell.delete({$p,@p}, X), {deleted(X)}.
+mell.delete(M), :- mell.delete(M, X), {deleted(X)}.
 
 /**
  * mell.delete(+Mem, +Weakn)