Paul Liétar

Option 2 and 3 would both be suitable I think. Option 2 certainly reduces the complexity a bit by avoiding the need to introduce a separate flag, and it is...

I'm getting a similar issue. The problem is that the `AgentFunctionDescription` goes at out scope at the end of the `define` function and removed from the stack, but the model's...

This seems reasonable. Based on a quick search there's at least a handful of occurrences of this in malariasimulation. I'll try to spin up a PR there to see if...

See https://github.com/mrc-ide/malariasimulation/pull/332 for the malariasimulation side. Steps to test: ```r remotes::install_github('mrc-ide/individual@expose-version', upgrade=FALSE) # Install this PR remotes::install_github('mrc-ide/malariasimulation@check-individual-version', upgrade=FALSE) # Install the malariasimulation PR remotes::install_github('mrc-ide/individual@expose-version-next', upgrade=FALSE) # Install a version of...

Along the same lines, we could use NaN-boxing for `(F64 | None)`, or even `(F64|U32)`.

I understand that trying to save useful data into the error's fields is a bit of a code smell and not a good idea. In this case however I'm only...

As a point of comaprison, the nixos-anywhere tool supports both using just the hostname or a longer path to a specific configuration object: https://github.com/nix-community/nixos-anywhere/blob/f9d38cae32025a98fbba2cc3c3732cdd4829ea79/src/nixos-anywhere.sh#L69-L73 ```sh nixos-anywhere --flake .#mymachine nixos-anywhere --flake...

`I64(0)` is not a special syntax, but really just a constructor call which helps type inference. Are you suggesting we special case this if the divisor is a primitive constructor?...

I also have a need for direct access to AES CTR and ECB. I understand your argument of "expose higher level constructions, not primitives", but in this case these are...

Thanks for bringing that up on the sync. I see I wasn't really clear on the motivations for this change, so I'll try and explain in more detail. --- Before...