Lucas Franceschino comments

Results 275 comments of


                                            Lucas Franceschino

Unreachable place in Rust AST on `tvix/nix-compat` - ImplExprPredNotFound

Hi, thanks for the bug report! (especially on a crate like tvix :smiley: that's a very nice project!) I looked a bit into that, tested on commit 52b9acd: running `cargo...

Unreachable place in Rust AST on `tvix/nix-compat` - ImplExprPredNotFound

Hi, can you try to reproduce on main? I suspect #1008 fixed this issue. I'm not able to test on my side, I've got errors related to rustc versions or...

Unreachable place in Rust AST on `tvix/nix-compat` - ImplExprPredNotFound

Let's close, this should not be an issue any more. If the bug is still there, please re open.

Unreachable place in Rust AST on `tvix/nix-compat` - ImplExprPredNotFound

No worries, thank you 😃

Makefile error: Identifier not found: [Core.Iter.Traits.Iterator.f_position]

Sorry for the late reply. Adding this operator is complicated because of the current implementation of the `core` library in F*. @cmester0 is working toward a new design for the...

Hax-lib[-macros]: `cfg(hax)`, `cfg(debug_assert)` and release mode policy

Still needed

Hax-lib[-macros]: `cfg(hax)`, `cfg(debug_assert)` and release mode policy

I´'ve been looking at that the last two hours or so: - we need two crates for hax-lib-macros: a real one and an impl one. We can't do two modules...

Crates of the hax workspace: publish their doc to docs.rs

We now have docs for some of the crates of the workspace (the libraries), see e.g. https://docs.rs/hax-lib/latest/hax_lib/

Crates of the hax workspace: publish their doc to docs.rs

Let's close this: this issue will be a consequence of #632.

Implicit Trait Constraints

Requires some investigation, marking it as small for now.