Chris Penner

Results 114 issues of Chris Penner

Remove the Wno-deprecations pragma [from here](https://github.com/unisonweb/unison/blob/8f694f182dda1294327f23c38c1d40f1d8ffe975/unison-share-projects-api/src/Unison/Share/API/Hash.hs#L2-L5) and fix any errors. Manipulating JWT claims with addClaim etc. directly is deprecated, the new way appears to be to define custom types with...

feature request

## Overview Removes `update.old` in favour of `update` I've found myself rewriting a bunch of deprecated code for the project roots refactor, if it's reasonable to delete it it would...

**Choose your PR title well:** Your pull request title is what's used to create release notes, so please make it descriptive of the change itself, which may be different from...

## Overview We need to chat about this more to determine the safest way to do this; but here's a branch for it in case we decide to go forwards...

**Choose your PR title well:** Your pull request title is what's used to create release notes, so please make it descriptive of the change itself, which may be different from...

## Overview When you get a type mismatch on the type of a `do` or `let` block the range reported for the error is the ENTIRE block, which lights up...

If an expression is annotated with a type, but the final expression is a case-match, we get a weird error message. E.g.: ```unison x : '{IO, Exception} Text x =...

error-message
ucm-ux

NOTE: currently this breaks exhaustiveness checking :'( It should provide an exhaustiveness failure for an inhabited type with zero cases, but it doesn't. The exhaustiveness checker code is pretty complex,...

I believe the reflog has a CASCADE DELETE right now, and is linked to the branch that way, we should probably also just store the current branch name on the...

feature request

## Overview Adds a couple optimizations and some debugging stuff. * Adds `deepTime` which times not only the monadic action, but also deeply forces the returned argument. This gives a...