From bfe5fc2f490db9568db9b2be248e178f26003ab9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 24 Jan 2019 19:08:10 +0000
Subject: [PATCH] tests on infinite terms.

---
 regression/cyclics.yap | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 regression/cyclics.yap

diff --git a/regression/cyclics.yap b/regression/cyclics.yap
new file mode 100644
index 000000000..af86be0d2
--- /dev/null
+++ b/regression/cyclics.yap
@@ -0,0 +1,7 @@
+:- X = [X], copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X = [_|X], copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X,X), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(_,X), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X,[X,X]), copy_term(X,Y), writeln(X), writeln(Y), fail.
+:- X= f(X,[X,g(X)]), copy_term(X,Y), writeln(X), writeln(Y), fail.