Cody Allen

Results 130 issues of Cody Allen

Currently annotating a type with `@typeclass` generates members that don't have explicit return types. This conflicts with the `Wart.PublicInference` WartRemover rule. You can see this issue with the simulacrum library...

Tools like Bazel and Nix ensure reproducible builds by constraining IO at build time. One way that Nix enforces this (I assume Bazel too?) is by only allowing builds to...

Currently it's easy to run into unexpected behavior if you use the `switch` command after having saved a scratch file. For example: - Save a scratch file with some new...

dx
papercut

# problem I believe that currently we store a full 512 bit type hash for each value that is serialized. When serializing large data structures with lots of repeated types,...

runtime
serialization

``` @unison/cloud/fix-harder> dependents internal.Connection Dependents of: type internal.Connection Terms: 1. connectTcp 2. internal.Connection.stream 3. internal.connectTls Tip: Try `view 3` to see the source of any numbered item in the above...

codebase-manager / ucm

I just noticed that when I did a `ctrl-c` on a `run`, the main thread stopped but a child thread continued to run. After trying a few variations, it seems...

This error message doesn't make it clear that it didn't like the `.` characters in my branch name. ``` nimbus/main> branch cloud-client-6.0.0 branch (or branch.create, create.branch) `branch foo` forks the...

codebase-manager / ucm
error-message

For lines that exceed certain length, the pretty-printer hangs the value onto a new line like this: ``` response = interruptibly interrupt '(handle tryRequest req with Http.handler) ``` What might...

pretty-printer
I1

Certainly not a high priority issue. If a function has something like: ``` use Bytes toHex toHex 0xsc0de ``` Then I get hover info for `toHex` at its usage site,...

lsp

# Problem/context When you have both a record type and its associated generated functions in your scratch file, you get compile errors are multiple bindings. One reason that this is...