[
    {
        "content": "<p>How can I debug the following error?</p>\n<div class=\"codehilite\"><pre><span></span>deep recursion was detected at &#39;replace&#39; (potential solution: increase stack space in your system)\n</pre></div>\n\n\n<p>It showed up while trying to define a class. As far as I can see there is no loop or something...</p>",
        "id": 160568189,
        "sender_full_name": "<NAME>",
        "timestamp": 1552396278
    },
    {
        "content": "<p>have you tried turning Lean off and on again?</p>",
        "id": 160568495,
        "sender_full_name": "<NAME>",
        "timestamp": 1552396539
    },
    {
        "content": "<p>Yes, in fact I have.</p>",
        "id": 160568511,
        "sender_full_name": "<NAME>",
        "timestamp": 1552396558
    },
    {
        "content": "<p>I've found the culprit:</p>\n<div class=\"codehilite\"><pre><span></span><span class=\"c1\">-- somewhere in the perfectoid project</span>\n<span class=\"n\">local</span> <span class=\"n\">attribute</span> <span class=\"o\">[</span><span class=\"kn\">instance</span><span class=\"o\">]</span> <span class=\"n\">topological_add_group</span><span class=\"bp\">.</span><span class=\"n\">to_uniform_space</span>\n</pre></div>",
        "id": 160572907,
        "sender_full_name": "<NAME>",
        "timestamp": 1552399656
    },
    {
        "content": "<p>I've now put a <code>section ... end</code> around this attribute (and its one use) and the problem is gone.<br>\nSo... this question is solved. Thanks for letting me rubber-duck this issue!</p>",
        "id": 160573872,
        "sender_full_name": "<NAME>",
        "timestamp": 1552400300
    }
]