Ben Pfaff

Results 96 comments of Ben Pfaff

> @blp, I know you wrote these instructions in the readme, but just to double check, do you have glibc-static and friends installed on these systems? I do. This is...

If https://github.com/vmware/differential-datalog/pull/1159 gets merged, and this bug gets fixed, then the documentation added by the PR should be updated as well.

Here's a function that I wrote that will compile to Rust, then won't compile at that point. I think it's exactly this issue: ``` function stringize_and_join(vec: Vec

This just came up in OVN work. I forgot it wasn't there and tried to use it... too bad.

For Nerpa we switched to a different approach that should not require reflection.

Reference material for `Ref` and `&` would be particularly welcome.

> Another option that would work in this particular situation is to move primary key declaration inside the parenthesis (SQL-style): Good idea.

I've noticed that Control+Alt+Space does work, so as a workaround I bound Control+Alt+Space to act like Control+Space in Emacs.

Overloading `false` to mean "invalid" seems a little confusing to me. It might be cleaner to have a keyword that means invalid.