Help compiler infer gc safety

GULPF · Apr 18, 2019 · ebc1b4a · ebc1b4a
1 parent 872d044
commit ebc1b4a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/nimquery.nim b/nimquery.nim
@@ -640,7 +640,7 @@ proc validateNth(a, b, nSiblings: int): bool =
     return n.floor == n and n >= 0
 
 proc satisfies(pair: NodeWithParent, demands: seq[Demand]): bool
-               {.raises: [Defect].}
+               {.raises: [Defect], gcsafe.}
 
 proc satisfies(pair: NodeWithParent, demand: Demand): bool =
     let node = pair.node

diff --git a/tests/tests.nim b/tests/tests.nim
@@ -535,3 +535,10 @@ test "numeric class name":
 test "issue1":
     let els = xml.querySelectorAll("#issue1 p")
     check($els == "@[<p>1</p>, <p>2</p>, <p>3</p>, <p>4</p>]")
+
+block checkIfGcSafe:
+    proc foo =
+        let xml = parseHtml(newStringStream(html))
+        discard xml.querySelector("p")
+
+    let bar: proc() {.gcsafe.} = foo