James Clark
James Clark
Putting this into English and our terminology, this is saying that the atomic mapping representation has an additional component, _E_, which is a finite set of types. Each type _s_...
Thanks for the explanation. It's not clear whether this representation will be helpful for us.
I think we should put this on pause for now.
Ideas for property-based testing: - Use covariance for structures: if `T1
Another equivalence is to transform lists into car/cdr style pairs i.e. we transform ``` type L [T1, T2]; ``` into ``` type L [T1, [T2, ()]]; ``` and ``` type...
There would be BIR instruction to represent matching a match pattern against a value. It would have - a boolean register for the result - a register for each bound...
Related to #953
Please make clearer distinction between compile-time and runtime. Also need to be clearer about atomic vs non-atomic types. We should only generate different code for the case where at compile...
#836 was an attempt at this.
Some useful links https://github.com/reviewdog/reviewdog/tree/master/proto/rdf#background-still-no-good-standard-diagnostic-format-out-there-in-2020 SARIF https://docs.oasis-open.org/sarif/sarif/v2.1.0/os/sarif-v2.1.0-os.html **Clang** https://clang.llvm.org/diagnostics.html https://llvm.org/devmtg/2012-11/Beaumont-Gay-Diagnostics.pdf Example of diagnostic kind definitions https://github.com/llvm/llvm-project/blob/main/clang/include/clang/Basic/DiagnosticSemaKinds.td http://www.goldsborough.me/c++/clang/llvm/tools/2017/02/24/00-00-06-emitting_diagnostics_and_fixithints_in_clang_tools/