Sean Leather
Sean Leather
I just discovered that the Homebrew [Lean formula](https://formulae.brew.sh/formula/lean) is up to date with 3.4.1. So, it may be that `brew install lean` is all you need, since it has `gmp`...
I wouldn't expect this issue to be fixed soon. You're better off working around it. This is the current plan as stated in the README: > Lean 3.4.1 is the...
No problem. The issue is easy to work around, of course. At the very least, this could serve as a testcase for the new parser.
@digama0: Oh, that's interesting! What is `_root_`? Is it like a hardcoded namespace?
@digama0: Thanks!
For what it's worth, I'm also interested in a `Bytes`-like interface to a memory-mapped region.
@quark-zju Nice! Your `BytesOwner` is a neat approach. I drafted something using the following: ```rust enum Buf { Mmap(Mmap), Static(&'static [u8]), Vec(Vec), } pub struct SharedBuf { buf: Arc, offset:...
Could `bytes` provide something like the following from @quark-zju's library? ```rust impl Bytes { pub fn from_owner(value: impl BytesOwner) -> Self { ... } } pub trait BytesOwner: AsRef +...
For what's it worth, I saw this on macOS, too. Memory consumption went over 18.3 GB.