Jason Carr
Jason Carr
With the split types pass, non-interfering usages of datatypes become distinct datatypes. Code was added for https://github.com/MLton/mlton/pull/288 that performs an analysis of datatype size, and such code is often quite...
Right now, any distinct constructor (that can't be flattened to an unboxed representation) at the SSA2 level is translated to a unique tag at runtime. Instead, we may combine some...
It was noticed with type spliting https://github.com/MLton/mlton/pull/285 that there was a performance penalty for boolean-like types that were changed to another type. A very naiive translation to Word32's was able...
# Steps to Reproduce Define an inductive type mutually with a total function that computes a type with negative usages: [bad.idr.txt](https://github.com/idris-lang/Idris-dev/files/2964248/bad.idr.txt) ``` %default total neg : Type -> Type data...
This RFC adds a new syntax to subsume automatic receiver recovery and enable it for more use cases than existing ref methods. I'm very open to suggestions in syntax, and...
This code presented by @ergl in Zulip demonstrates a data race where the update to change the last character to '?' can be observed in the ArrayGrower actor within undefined....
**Describe the bug** Several packages appear to be failing with a consistent error when using a remote builder: /nix/store/gpk9ljdjhnymw4gkxf46db2rhfc09gad-sshd.conf-validated.drv' failed due to signal 6 (Aborted) The only workaround is to...
The templates feature for nix flake seems like a great opportunity to offer easy-setup build environments, particularly for individuals working on non-nix projects and just getting started. One template I...