Jonathan Protzenko
Jonathan Protzenko
- Is the empty prims.krml no longer generated? - Can we use the long option name instead of `-c`? `-c` is not super descriptive thanks!!
I think a diff like this in Eurydice should unblock you: ``` diff --git a/lib/AstOfLlbc.ml b/lib/AstOfLlbc.ml index 9c1e373..5347274 100644 --- a/lib/AstOfLlbc.ml +++ b/lib/AstOfLlbc.ml @@ -131,8 +131,8 @@ module RustNames =...
(at least it removed the failure from my end, although I do get another, seemingly unrelated error later on)
So I went pretty far in trying to update eurydice to deal with this PR. But honestly, I'm pretty stuck so I think it'd be great if you could help...
I think I'm starting to understand. It now seems like the patterns are no longer canonical and I might encounter either ``` core::ops::index::IndexMut::index_mut ``` or ``` core::array::{core::ops::index::IndexMut}::index_mut ``` I'm not...
I think I get what you are saying. Now, depending on whether the trait instance has been statically resolved, or whether it's referring to a trait clause in scope, I...
Thanks for the report, this looks like something we can look into
Pushed a commit to fix this on your branch. Please review! Cheers
@tahina-pro ping? did this end up being merged?
I don't know that anyone actively maintains developing on windows, but you may have luck by using "hybrid" paths of the form `c:/.../.../` (yes, using forward slashes) everywhere, notably for...