Jonathan Coates

One other thing @plt-amy suggested is kicking off the KaTex and diagram builds earlier. We can create a separate job which parses Markdown and compiles the equations/diagrams, and start that...

Just wondering the expected behaviour of non-hole arguments with side effects? For instance, I believe `pow({ println("foo"); 2 }, _)` would desugar to `fun(x) { pow({ println("foo"); 2}, x) }`,...

I've had issues with using ``, as the message gets truncated after it. However, using the HTML entity for a space (` `, or `%26%2332;` in the URL) does appear to...

Oh, this'll be interesting. I have a feeling we don't preserve position information by the time we get to the TC. > The same error does not occur without a...

Just as a reminder to myself: > Recursive functions do not need a rec keyword as in OCaml. This is incorrect. > The monad option instance aborts the computation when...

@tacoberu Yep, that's a good idea. I've enabled it and hopefully set the permissions so anyone can add/edit it.

I can't think of any obvious changes in the compiler which would cause such a blowup - I will do some profiling later today. The standard library definitely has some...

@Lupus Would you be able to run `amc compile` with the `--time` flag (e.g. `amc compile --time timings your_program.ml`) and post the resulting file as a gist? Would be interesting...

I fixed a rather embarrassing case of exponential blowup of the type-class trie when combining environments (see b4d4784f21501cefde598befc2e3531e6b26c4c7), which has dramatically improved performance in some cases (40s → 3.7s). It...

This is one of those ones I really don't know how to solve in a sensible way. Obviously we should be re-using locals inside functions, but some of this happens...