CohenArthur

Results 260 comments of CohenArthur

alright :) that commit is good to upstream then I think. I'll fix the CI so we can merge it here

> @tschwinge I'm a bit lost, should we merge this ? IIRC we already sent this upstream, so we should technically close this PR right ? I think yes, we'll...

@P-E-P then we should merge this too, but make sure that the commit which touches the build system is exactly the same here as it was pushed on trunk

This is no longer happening on master (3ccf008b148). I'll add the test as a testcase in a PR

This will probably tie in with #1078

This is causing a lot of issues and they are really annoying to fix... we can probably experiment with definning `println!()` with an iterator rather than a for-loop

> Help message looks better like this :) Will you also add the inclusion mechanism in this PR ? Considering the inclusion mechanism depends on your PR, I was thinking...

I'm wondering if this works in Rust because imports are resolved during early name resolution, but function calls are resolved during late name resolution - so a long time after...

> Sure, I'm on it! Also, @CohenArthur, I'm not very familiar with execution test cases (are these supposed to differ from other test cases?). Any help you could offer would...