fix spwan

This commit is contained in:
Jaremy Creechley 2024-05-17 01:41:19 +03:00
parent 784383aec4
commit 54edcb1ce7
No known key found for this signature in database
GPG Key ID: 4E66FB67B21D3300
1 changed files with 3 additions and 1 deletions

View File

@ -54,7 +54,9 @@ proc prove*[H](
return failure(err) return failure(err)
let args = ProveTaskArgs(signal: signal, params: self.params) let args = ProveTaskArgs(signal: signal, params: self.params)
let flowvar = self.tp.spawn proveTask(args, input) proc spawnTask(): Flowvar[Result[CircomProof, string]] =
self.tp.spawn proveTask(args, input)
let flowvar = spawnTask()
without taskRes =? await awaitThreadResult(signal, flowvar), err: without taskRes =? await awaitThreadResult(signal, flowvar), err:
let res: ?!CircomProof = failure(err) let res: ?!CircomProof = failure(err)