From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 23 Feb 2021 05:39:34 +0000 (-0700)
Subject: add copy_term_nat/2 (#795)
X-Git-Tag: v0.9.0~150^2~17
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4d72845c588a5ec1b184f5d77e99bdf3c5445aa2;p=scryer-prolog.git

add copy_term_nat/2 (#795)
---

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 61a3fa29..7d580497 100644
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -3,11 +3,19 @@
 
 %% ?- use_module(library(iso_ext)).
 
-:- module(iso_ext, [bb_b_put/2, bb_get/2, bb_put/2, call_cleanup/2,
-                    call_with_inference_limit/3, forall/2,
-                    partial_string/1, partial_string/3,
-                    partial_string_tail/2, setup_call_cleanup/3,
-                    call_nth/2, variant/2]).
+:- module(iso_ext, [bb_b_put/2,
+                    bb_get/2,
+                    bb_put/2,
+                    call_cleanup/2,
+                    call_with_inference_limit/3,
+                    forall/2,
+                    partial_string/1,
+                    partial_string/3,
+                    partial_string_tail/2,
+                    setup_call_cleanup/3,
+                    call_nth/2,
+                    variant/2,
+                    copy_term_nat/2]).
 
 :- use_module(library(error), [can_be/2, domain_error/3, type_error/3]).
 
@@ -195,3 +203,7 @@ call_nth_nesting(ID) :-
     ),
     asserta(i_call_nth_nesting(ID, 0)),
     asserta(i_call_nth_counter(ID)).
+
+
+copy_term_nat(Source, Dest) :-
+    '$copy_term_without_attr_vars'(Source, Dest).