From 8eef2bad70ae7ae300bacbb235d8b438a2bd2d14 Mon Sep 17 00:00:00 2001
From: "Brandon T. Willard" <brandonwillard@gmail.com>
Date: Wed, 5 Feb 2020 23:05:15 -0600
Subject: [PATCH] Add recursion xfail test

---
 tests/test_core.py | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/tests/test_core.py b/tests/test_core.py
index 505c81a..70a23de 100644
--- a/tests/test_core.py
+++ b/tests/test_core.py
@@ -1,3 +1,5 @@
+import pytest
+
 from types import MappingProxyType
 from collections import OrderedDict
 
@@ -139,3 +141,18 @@ def test_unground_lvars():
         assert not isground(
             ctor((a_lv, sub_ctor((b_lv, 2)), 3)), {a_lv: b_lv, b_lv: var("c")}
         )
+
+
+@pytest.mark.xfail(strict=True)
+def test_recursion_limit():
+    import sys
+
+    m = {}
+    first_lvar = var()
+    lvar = first_lvar
+    for i in range(sys.getrecursionlimit()):
+        m[lvar] = (var(),)
+        lvar = m[lvar][0]
+    m[lvar] = 1
+
+    reify(first_lvar, m)