Jakob Schneider
Jakob Schneider
| Function | Can Be Rewritten | Unchecked Cast | | -------- | ------------------ | ---------------- | | RedBlackTree.remove | Maybe | No | | RedBlackTree.minDelete | Maybe | No...
Maybe we need to add source locations in a subsequent pr? That also seems like a cleaner way to check whether two functions should really be compared (i.e., if they...
> > Maybe we need to add source locations in a subsequent pr? That also seems like a cleaner way to check whether two functions should really be compared (i.e.,...
> We should not do this. It creates far-reaching invariants. For example, if I add a library that implements the trait but uses an incompatible type, I end up with...
> We should not do this. It creates far-reaching invariants. For example, if I add a library that implements the trait but uses an incompatible type, I end up with...
Funny, now the test actually fails. I think it's because the symbols are randomly generated. I will try setting it to only one thread.
Ok we need to use two flix instances with 1 thread each because `Bootstrap.buildJar` recompiles the project on each call. If we reuse the same flix instance, the atomic counter...
> 🤯 Perhaps we need to chat in person. > > (I guess this is really revealing more complex problems...) Sounds good.
RFM / RFR