Hrutvik Kanabar

I've converted this back to a draft because the behaviour is not quite right when there are `do_not_generate` syscalls in the corpus. The previous implementation checked that disabled syscalls (due...

> Could you please elaborate on the motivation for the `do_not_mutate_syscalls` option? At least for the `syz_mount_image`, we don't really want to minimize or generate it, but I think we...

> Feel free to "Rebase and merge" when Github is happy (out-of-date branch). Ah I don't seem to have write access to the repository

Also, `pure_letrec_{seq,spec}Theory`/`pure_inlineTheory`/`pure_demandTheory` should really be moved from `meta-theory` to join the other compiler relations

Following further discussion, we have created a "Type classes" milestone to plan an implementation of type classes in PureCake. At a high level, we aim to follow ["Type classes in...

Related reading: - The prior and related work discussed by [Hall et al.](https://dl.acm.org/doi/pdf/10.1145/227699.227700) - ["Implementing, and Understanding Type Classes"](https://okmij.org/ftp/Computation/typeclass.html) - ["How to make *ad-hoc* polymorphism less *ad hoc*" by Wadler...

Discussion in meeting: Annotation types: `annot = NoInline | Inline | Inlineable | ConLike | InlineHere mlstring | ...` - For top-level functions, expect annotations to be introduced on RHS,...

@KacperFKorban suggested also considering [this proposal](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst) concerning record "dot" syntax.

The parser [discards](https://github.com/CakeML/pure/blob/de95119f4eb461ad5a1e73a72fe056b6da7beaa1/compiler/parsing/ast_to_cexpScript.sml#L238-L240) type signatures, as the [`cexp` datatype](https://github.com/CakeML/pure/blob/de95119f4eb461ad5a1e73a72fe056b6da7beaa1/compiler/backend/languages/pure_cexpScript.sml#L65-L76) does not support them. But inference runs on `cexp` and so cannot see type signatures. We will need to consider how...

As discussed in a meeting, we have decided to keep the `cexp` datatype as-is and instead pass top-level signatures to inference alongside user-defined datatype/exception declaration information. Inference will need to...