Nathan Taylor

@alecthomas I'm seeing that the linter CI check failed, owing to something, seemingly on the Go side: `Running error: makezero: analysis skipped: errors in package: [/home/runner/work/chroma/chroma/formatters/svg/svg.go:5:2: could not import encoding/base64`....

Rebased last night - CI doesn't seem to have picked it up, though.

Yep, strong agree that adding an optimisation that breaks the compiler would be a _bad idea_! I also wonder whether the CLR and JVM's JITs (or even `javac`) are smart...

OK, I did some splunking with the following P example from the Tutorial: ``` 19 state WaitForEvents { 20 on ePrepareResp do (resp: tPrepareResp){ 21 var transId: int; 22 transId...

Couldn't say for sure, but [this](https://instil.co/blog/simd-performance-with-csharp-and-cpp/) suggests that you can so long as you're using non-VS Code Visual Studio. [This](https://stackoverflow.com/questions/66843703/does-jetbrains-rider-have-function-like-view-disassembly-code-in-the-visual-stud) suggests such functionality isn't present in Rider (at least at...

Given that I never actually hit this problem once in practice, it's safe to say it's probably not worth worrying about :)

Thinking about this more: there are seemingly two problems with the above example program: not only are we trying to handle an event we have not indicated that we're observing,...

I see. So, in that case, what does the `observes` clause tell us here? Seems like for the Java codegen side, which is breaking here, the shortest path forward is...

Unassigning this from me since I won't get to it before my internship ends.

Apologies, I've been ignoring my github notifications over the break. Do you mean that `as_uninterpreted()` and `new_const()` should return a `Dynamic`, removing the new Rust datatype? If you prefer that...