Armaël Guéneau
Armaël Guéneau
Thanks. I was thinking of vendoring only for developping the library, not for what would be a released version of the bindings. Because otherwise I have to uninstall/downgrade my system...
Ah, that's a very good point. Relying on nix or guix for development does sound simpler than figuring out vendoring. Would you mind sharing which setup you use for that?...
Sorry for the delay, I just came back from holidays. I think if you could cook up a nix or guix environment that would be super useful (even more if...
I've been suggested another approach on #sway-devel: to build wlroots and install it locally (e.g. in `~/.local`), then tweak environment variables to point to the local installation. I guess that's...
Alright, don't worry too much then, it turns out the solution of installing wlroots in ~/.local works well for me; I could compile your branch and I'm currently doing the...
I won't have time this weekend, but sure, I can try to do that in the near future.
Hi! Yes, any PR improving pp_loc is welcome. pp_loc was indeed initially based on the code from the ocaml compiler, but I intend it to live as its own library...
Actually, `proof_assert!` looks like a red herring here. I'm getting the same issue with the following program: ``` #[logic] #[ensures(true)] fn foo() -> Seq { pearlite!{ Seq::create(42, { |k:Int| 42...
any news about this? As far as I can tell this issue still applies, I encountered it again recently.