matt rice
matt rice
One of the "fun" things about my project is running the parser on strange, half edited/incomplete changes. Here is one such case I encountered that way, and have minimized. given...
I have a slight question about attenuation, let me take `cap_std::fs::Dir::remove_file` as an example, It seems to rely upon (from the rust perspective) interior mutability, as in it takes an...
minor doc issue
As far as I can tell, there currently isn't a trait which inherits all the bitwise operator traits, In the same way that e.g. `NumOps` inherits the traits for arithmetic...
I was looking to see if it was possible to use a .cargo/config.toml (in my source directory), I didn't find a way to do so, this line in [FindRust.cmake](https://github.com/corrosion-rs/corrosion/blob/master/cmake/FindRust.cmake#L347-L353) generates...
Its been forever since I did any C, but I believe this should fix the segfault on window close, according to man XtGetValues, > The value field of a passed...
Loading batch.mlp would cause a "Missing section size for section" error when bootstrapping
Noticed a minor issue in the implementation of OS.FileSys.readDir, According to [sml-family](http://sml-family.org/Basis/os-file-sys.html#SIG:OS_FILE_SYS.readDir:VAL) > readDir filters out the names corresponding to the current and parent arcs. I had not quite figured...
### Prerequisites * [X] Put an X between the brackets on this line if you have done all of the following: * Checked that your issue isn't already [filed](https://github.com/leanprover-community/lean/issues). *...
One thing which might be worth thinking about is whether the difference in data model allow deser to implement `Spanned`, In the following comment dtolnay says serde's model is not...