Merge a162bb8728aee1d65a7c357fb3ec4ede3e66e69b into 8dd99f1964e4ae14f1be312cb99abd940ec53963

This commit is contained in:
markspanbroek 2025-07-02 16:31:04 +02:00 committed by GitHub
commit 24149a74bd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 6 additions and 2 deletions

View File

@ -61,7 +61,8 @@ proc readSection[T] ( expectedMagic: string
, stream: Stream
, user: var T
, callback: SectionCallback[T]
, filt: (int) -> bool ) =
, filt: proc(_: int): bool {.raises: [IOError, OSError].}
) {.raises: [IOError, OSError].} =
let sectId = int( stream.readUint32() )
let sectLen = int( stream.readUint64() )
@ -77,7 +78,8 @@ proc parseContainer*[T] ( expectedMagic: string
, fname: string
, user: var T
, callback: SectionCallback[T]
, filt: (int) -> bool ) =
, filt: proc(_: int): bool {.raises: [IOError, OSError].}
) {.raises: [IOError, OSError].} =
let stream = newFileStream(fname, mode = fmRead)
defer: stream.close()

View File

@ -7,6 +7,8 @@
# See <https://geometry.xyz/notebook/the-hidden-little-secret-in-snarkjs>
#
{.push raises:[].}
#[
import sugar
import constantine/math/config/curves