Denis Buzdalov
Denis Buzdalov
``java.io.Console`` is ``null`` also when you pipe output of ``cbt`` like ``cbt run | less`` without nailgun. So, you run into this problem each time you have several ``main``s and...
Hmm... Are `cong` and `cong2` needed for almost any program, then?
BTW, making `someX` to be `%hint`, or `X` being implemented without `[noHint]` does not change anything. I.e., only local scope affects to this issue.
Why do you think these things should be primitives of the language? I mean, both concurrency (without parallelism) and parallelism (even without concurrency) is a very complex thing and I...
> > What's the convention behind the `*LE` names? Why is it not uniform? > > I suspect it's "Little Endian". It won't matter in 99% of the cases, since...
It looks like `%runElab logMsg "" 0 $ show $ 2 + 2` does exactly what you want except for additional logging-related printing. You can consider addition of a function...
Something's wrong again with CI, as it fails with "service unavailable"...
> This feels like piling hacks on top of hacks. > > Can we first go back to the elaboration of `%runElab` and use `underPis` to pick the correct number...
I was asked in Discord to report it here as it seems to be relevant to this PR. In a code with a particular quantity in a pattern-matching `let`-binding, this...
> but I'm not sure the last two are correctly stated First, I'm not sure `let`-binding with particular quantity has direct analogy in QTT itself, but unfortunately, I'm not competent...