project-everest / everparse

Automated generation of provably secure, zero-copy parsers from format specifications
https://project-everest.github.io/everparse
Apache License 2.0
251 stars 15 forks source link

EverParse3d.InputStream.Base: do not use typeclasses for extra_t #117

Closed mtzguido closed 11 months ago

mtzguido commented 11 months ago

From the commit message:

This is not a class, and the recent changes to tcresolve will now
(rightfully) reject this. AFAICT, tcresolve was being used as a way
to solve this extra_t from the environment automatically, so we can do
just that, which is also likely much more efficient.

This should fix the everest build.